En software udvikling teknik, hvor to eller flere funktionelt identiske varianter af et program er udviklet fra samme specifikation af forskellige programmører eller programmering hold med hensigten at give error detection, øget pålidelighed, yderligere dokumentation, eller reduceret sandsynlighed at programmering eller compiler fejl vil påvirke de endelige resultater.