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