Um die Zuverlässigkeit und Korrektheit von Programmen zu garantieren, wird eine formale ''Verifizierung'' benötigt.
{{K|Informatik}} Bestätigung durch Bereitstellung eines objektiven Nachweises, dass die festgelegten Anforderungen erfüllt worden sind<ref>[http://www.abc-sks.at/service/iso_9001_glossar.html ISO-9001-Glossar]</ref>