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