Une technique de développement de logiciels dans lequel deux ou plusieurs variantes fonctionnellement identiques d'un programme sont développées à partir de la même spécification par différents programmeurs ou programmation équipes dans le but d'assurer la détection d'erreurs, augmente la fiabilité, des documents supplémentaires, ou réduit la probabilité que des erreurs de programmation ou du compilateur influencera le résultat final.