Verifikationen (z.B. als Kollisionsprüfung) des geometrischen Programmteils sind nach dessen getrennter Übersetzung mit Ausgabe über Graphikgeräte auch dynamisch (in Ablaufstufen (Programmablauf)) möglich. (Quelle: Schneider: Lexikon Informatik)
Dieses ergänzt Beobachtungsmittel wie die Spionagesatelliten begüterter Staaten oder auch die Verifikationen durch gegenseitige Besuche. (Quelle: Süddeutsche Zeitung 1995)
Die SPD verlangte 1985 nach Verifikationen dafür, daß in der DDR kein Giftgas lagert. (Quelle: TAZ 1990)