Een software ontwikkeling techniek waarin twee of meer identiek varianten van een programma zijn ontwikkeld uit dezelfde specificatie door verschillende programmeurs of programmering teams met de bedoeling van het verstrekken van foutdetectie, betrouwbaarheid, aanvullende documentatie, vermeerderd of verminderd van waarschijnlijkheid dat programmering of compiler fouten invloed op de eindresultaten hebben zal.