Μια τεχνική ανάπτυξης λογισμικού, στην οποία δύο ή περισσότερα λειτουργικά πανομοιότυπος παραλλαγές ενός προγράμματος έχουν αναπτυχθεί από τις ίδιες προδιαγραφές από διαφορετικούς προγραμματιστές ή προγραμματισμού ομάδων με την πρόθεση της παροχής ανίχνευσης σφαλμάτων, αυξήθηκε η αξιοπιστία, επιπλέον τεκμηρίωση, ή μειωμένη πιθανότητα ότι σφάλματα προγραμματισμού ή μεταγλωττιστής θα επηρεάσει τα τελικά αποτελέσματα.