in sicherheitskritischen Bereichen ist Verifikation Pflicht: Schaltkreis-Herstellung, Kryptographie, Luft- und Raumfahrt
jedoch:
man verifiziert immer nur bezüglich einer Spezifikation und mit Hilfe von Werkzeugen:
siehe Lehrveranstaltungen im Hauptstudium (Prof. Geser, Prof. Petermann)