| Aktuell | Termin | Dozent | Vortragstermine |
Seminar: Spezifikation und Verifikation verteilter Systeme
Um die Korrektheit eines großen Softwaresystems nachzuweisen, muss zunächst ein Modell davon entwickelt werden: seine Spezifikation.
Im Seminar werden verschiedene, auf temporaler Logik basierende Spezifikationsmethoden vorgestellt. Weiterhin werden typische temporale Eigenschaften von Systemen (Sicherheit, Lebendigkeit, Fairness) und ihr Nachweis betrachtet.
Aktuell
- Die Literaturangaben wurden aktualisiert.
Dozent
Telefon: +49-30-2093-3071
Raum: 4.414
E-Mail: 
Termin
Das Seminar findet wöchentlich zu folgenden Terminen statt:
- Dienstags, 9-11 Uhr im Raum RUD 25, 4.113
Der erste Termin ist am Dienstag, den 19. Oktober 2004.
Letzte Änderung am Mittwoch, 23. November 2004