Ένας τύπος ομοτίμους που συνεπάγεται μια ομάδα από τους ομότιμους υπολογιστές προγραμματιστές τον έλεγχο κάποιο προϊόν έγγραφα (π.χ. εγγράφων σχεδίασης , καταχωρήσεις κώδικα, δοκιμή σχέδια, κ.λπ.) σε συγκεκριμένα σημεία της διαδικασίας ανάπτυξης για να εντοπίσετε τυχόν σφάλματα στο προϊόν. Έλεγχοι έχουν πιστωθεί Michael Fagan της IBM το 1976.