Ohjelmiston kehitys tekniikka, jossa kahden tai useamman toiminnallisesti identtinen muunnelmia ohjelmasta kehitetään samat eri ohjelmoijat tai ohjelma joukkueet tarkoituksenaan tarjota virheiden havaitsemiseen, lisääntynyt luotettavuus, lisätodisteita, tai alentaa todennäköisyys ohjelmointi tai kääntäjän virheitä vaikuttaa lopputuloksiin.