In der Informatik und Softwaretechnik versteht man unter Verifikation den mathematischen Beweis, dass ein Programm (also eine konkrete Implementation) der vorgegebenen Spezifikation entspricht (siehe Korrektheit (Informatik)). Solche Beweise werden mit Hilfe der Methoden der formalen Semantik geführt. Die Verifikation ist jedoch grundsätzlich nicht in jedem Fall möglich, wie das Halteproblem und der Gödelsche Unvollständikeitssatz zeigen, was aber nicht zu übertriebenen Pessimismus Anlass geben soll.

Zur automatisierten Verifikation werden auch häufig Automatenmodelle eingesetzt. Für kleine Systeme mit endlicher Zustandsmenge (zum Beispiel in dem Hardwaredesign) werden dafür gerne Endliche Automaten eingesetzt (Model Checking), für parallele Prozesse finden Petri-Netze verwendung. Aber auch andere Automaten können eingesetzt werden. Hintergrund ist die Möglichkeit, formale Spezifikationen in äquivalente Automaten zu überführen (z.B. zeigt der Satz von Büchi-Elgot-Trakhtenbrot die Äquivalenz von endlichen Automaten und Formeln der monadischen Logik 2. Stufe, siehe MSO ), wobei das Problem des Erfüllens einer Spezifikation auf ein äquivalentes Problem der Analyse einer Merkmal des Automaten überführt wird. Automaten sind die geeignetere Repräsentation der Problemstellung zu dem Zwecke der Analyse, da hier gute Algorithmen bekannt sind.

Die DIN EN ISO 8402 vom August 1995, Ziffer 2.17 versteht unter Verifizierung das Bestätigen aufgrund einer Behandlung und durch Bereitstellung eines Nachweises, daß festgelegte Forderungen erfüllt worden sind. Diese Norm bezieht sich auf die Qualitätssicherung von organisatorischen und betrieblichen Abläufen. Verifizierung wird hier also verstanden als eine "Bestätigung in dem Nachhinein", ob vorhandene Abläufe die gewünschten Ergebnisse erzielen.

Die Verifizierung von Personendaten oder Protokollen ist als Ablauf einer gemeinsamen Unterschrift oder als hoheitlicher Akt der Beglaubigung bekannt. Hier findet auch der verwandte Begriff der Authentifizierung als Synonym für einen Identitätsnachweis Verwendung. Umgangssprachlich wird hier häufig auch in technischen Dokumentationen von Verifizierung gesprochen.

• Nachweis einer genormten Vorgehensweise in einer Projektorganisation
• Betrieblicher Abgleich von EDV-Protokollen
• Empirischer Beleg der Wirksamkeit eines Medikamentes
• Notarielle Beglaubigung einer Unterschrift
• Ãœberprüfung von Firmenadressen in einem Telefonverzeichnis
• Der Abgleich von hinterlegten biometrischen Daten bei einer Zugangskontrolle
• Nachweis von in Simulationen ermittelten Eigenschaften eines Produktes durch Experimente

Die frühzeitige Verifizierung beziehungsweise Validierung eines Prozesses oder einer Aussage hilft Fehler rechtzeitig zu erkennen und technische, menschliche oder prozessuale Kommunikationsverluste zu vermeiden.

Die inhaltliche Beurteilung der überprüften Aussagen oder Daten auf Plausibilität oder Wirkung ist nicht Aufgabe der Verifizierung. Es handelt sich hierbei also ca. um den Nachweis einer gewissen Authentizität der Aussage an sich. Ein verifizierter Ausdruck (z. B. das Ergebnis eines Experimentes) ist somit von Dritter Stelle überprüft, seine wissenschaftliche Aussagekraft ist damit jedoch noch nicht belegt. Die verifizierte Aussage hat somit zwar einen höheren Stellenwert als die unbelegte Behauptung, jedoch einen niedrigeren Stellenwert als der schlüssige Beweis.

Siehe auch: Validität, Reliabilität, Falsifizierbarkeit, Grenzwissenschaft, Parawissenschaft, Diskurs, Verifikationismus

Verifizierung von Lexikoneinträgen (http://www.linguistik-online.de/2_99/retti.html)