Formale Verifikation
Inhalt
Korrektheit von Programmen
Korrektheit von If-Anweisungen
Korrektheit von While-Schleifen
Totale Korrektheit von While-Schleifen
Halteproblem
Aufgaben
Literatur
H.W. Lang
FH Flensburg
lang@fh-flensburg.de
Impressum
© Created: 06.04.2005 Updated: 22.04.2010