Anwendung der konzipierten Lösungsmöglichkeit in der Realsituation: Beurteilung oder Verifikation der Richtigkeit des Ansatzes durch die praktischen Konsequenzen.
Der Layouterstellung schließt sich eine umfassende Verifikation des Layouts auf seine technologische Realisierbarkeit, die elektrische Korrektheit und seine elektrische Funktionstüchtigkeit an.
Unter Layoutentwurf einer elektronischen Schaltung (Schaltkreis, Multi-Chip-Modul, Leiterplatte) versteht man das Erstellen und die Verifikation der geometrischen Anordnung der Zellen bzw. Bauelemente und ihrer Verbindungen.
Außerdem befasst er sich mit Modaler Logik, Entscheidungstheorie, verteiltem Rechnen (und Fehlertoleranz bei verteiltem Rechnen), Programm-Verifikation, Kausalität, Semantik von Programmiersprachen.
Die industrielle Verwendung von Theorembeweisern oder Modellprüfern konzentriert sich zurzeit noch schwerpunktmäßig auf die Verifikation von integrierten Schaltkreisen und Prozessoren.
Ziel einer biometrischen Erkennung ist stets, die Identität einer Person zu ermitteln (Identifikation) oder eine behauptete Identität zu bestätigen bzw. zu widerlegen (Verifikation).