En teknik för utveckling av programvara där två eller flera funktionellt identiska varianter av ett program som utvecklas från samma specifikation av olika programmerare eller programmering team med avsikt att ge fel upptäckt, ökad tillförlitlighet, ytterligare dokumentation, eller minskar sannolikheten att programmering eller compiler fel kommer att påverka slut resultat.