Une technique de développement de logiciels dans lequel deux ou plusieurs variantes fonctionnellement identiques d'un programme sont élaborés selon la même spécification de programmeurs différents ou de la programmation des équipes dans le but d'assurer la détection des erreurs, une meilleure fiabilité, des documents supplémentaires, ou réduit la probabilité que des erreurs de programmation ou du compilateur influencent le résultat final.