Vorlesung:
Sichere Software: Formale Methoden in der Programmentwicklung
Wintersemester 1998/99
Prof. Dr. J.H. Siekmann
,
Dr. D. Hutter
,
Dr. habil W. Stephan
Diese Web-Seite soll Ihnen einen Überblick über die Vorlesung geben. Hier finden Sie aktuelle Informationen und Ankündigungen.
Inhalt der Vorlesung
(Übersicht, Zielgruppe, Anforderungen, Termine)
Kopien der Vorlesungsfolien (vom WS97/98)
Teil 1 (Einleitung, Formale Grundlagen, Abstrakte Datentypen)
Teil 1b (Zustandsorientierte Systeme)
Teil 2 (Nebenläufigkeit)
Teil 3 (Deduktionsunterstützung, Model Checking)
Einführende Literatur
Dieter Hutter
, 24. September 98
