เทคนิคการพัฒนาซอฟต์แวร์ซึ่งตัวแปร functionally เหมือนกันสองอย่าง หรือมากกว่าของโปรแกรมถูกพัฒนาขึ้นจากสเปคเดียวกัน โดยโปรแกรมเมอร์ต่างหรือทีมโปรแกรมกับจุดประสงค์ของการตรวจสอบข้อผิดพลาด ความน่าเชื่อถือ เอกสารเพิ่มเติม เพิ่ม หรือลดความน่าเป็นที่ข้อผิดพลาดของการเขียนโปรแกรมหรือคอมไพเลอร์จะมีอิทธิพลต่อผลลัพธ์