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