Una técnica de desarrollo de software en el cual dos o más variantes funcionalmente idénticas de un programa se desarrollan de la misma especificación por diferentes programadores o equipos de programación con la intención de facilitar la detección de errores, mayor fiabilidad, documentación adicional, o reduce la probabilidad de que los errores de programación o compilador influirá en los resultados finales.