Verifikation als Wundermittel?

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)



Johannes Waldmann 2006-06-26