Uma técnica de desenvolvimento de software em que duas ou mais variantes funcionalmente idênticos de um programa são desenvolvidos a partir da mesma especificação por diferentes programadores ou equipes de programação com a intenção de fornecer detecção de erros, aumento da confiabilidade, documentação adicional, ou reduzida a probabilidade de que os erros de programação ou compilador irão influenciar os resultados finais.