Ich freue mich, daß Sie Interesse am Thema

Programmverifikation

haben. Eine Kurzzusammenfassung des Inhalts finden Sie in der Vorlesungsbeschreibung.

Das hier zur Verfügung gestellte Skript ist aus früher zum Thema gehaltenen Vorlesungen entstanden. Trotz sehr zeitaufwendiger und gründlicher Arbeit sind mit Sicherheit noch Tippfehler verschiedenster Art enthalten.
Deshalb bin ich für alle Hinweise darauf sehr dankbar.
Gleichfalls bitte ich um Vorschläge zu inhaltlichen Verbesserungen.
Zu beachten ist, daß es sich hierbei NICHT um ein Lehrbuch, sondern um ein die Vorlesung begleitendes Skript handelt.
Deswegen kann das Herunterladen des Skripts mit Sicherheit den Besuch der entsprechenden Vorlesung nicht ersetzen.
Ich hoffe aber, daß das Nacharbeiten des Skripts nach Besuch der Vorlesung deren Verständnis wesentlich erhöhen kann.
Auf jeden Fall kann man so endlich die noch vorhandenen Druck- und anderen Fehler finden!

Das Skript liegt im Postscript-Format vor.
Durch Anklicken des Buchsymbols können Sie es sich herunterladen.


Grundlagen der Programmverifkation
Hartwig, Rolf


Seite am 14.1.98 erstellt von Dr. R. Hartwig). Letzte Änderung am 4.2.2000