Техника разработки программного обеспечения, в котором два или более функционально идентичную варианты программы разрабатываются с той же спецификации различными программистами или программирования команд с целью обеспечения обнаружения ошибок, повышенной надежности, дополнительную документацию, или уменьшается вероятность того, что ошибки программирования или компилятор будет влиять на конечные результаты.