english: Technology exists that allows us automatically to check whether our specifications are satisfied, whether that program does what it should do.
non_english: Technologie bestaat  om automatisch na te gaan of aan onze specificaties is voldaan, of dat programma  doet wat het moet doen.