Programinės įrangos kūrimo technika, kurioje dvi arba daugiau funkciškai identiška variantų programa yra sukurta iš tos pačios specifikacijos iš įvairių programuotojų ar programavimo komandos ketinimų teikti klaidų aptikimo, didesnį patikimumą, papildomų dokumentų, arba sumažinti tikimybę, kad programavimo ar kompiliatoriaus klaidas turės įtakos galutinius rezultatus.