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 |
 |