Una tècnica de desenvolupament de programari en què dues o més variants funcionalment idèntiques d'un programa es desenvolupen des de la mateixa especificació per diferents programadors o equips de programació amb la intenció d'oferir detecció d'errors, va augmentar la fiabilitat, la documentació addicional, o redueix la probabilitat que els errors de programació o compilador influiran en els resultats finals.