En programvare utviklingsteknikk der to eller flere funksjonelt identisk varianter av et program er utviklet fra samme spesifikasjoner av ulike programmerere eller programmering lag med hensikten å gi feildeteksjon, økt pålitelighet, ytterligere dokumentasjon, eller redusert sannsynligheten at programmering eller kompilatoren feil vil påvirke sluttresultatet.