Vorlesung Computergestützte Verifikation
Wir studieren computergestützte Verfahren, mit denen überprüft werden kann, ob
ein gegebenes Modell eines Systems eine gegebene Spezifikation erfüllt. Der erste
Teil betrifft finite state systems, z.B. Schaltkreise und Protokolle, wo
leistungsstarke Methoden es bereits bis zur Praxisreife bringen. Der zweite Teil
handelt von infinite state systems, unter anderem Echtzeitsystemen, hybriden
Systemen und Software, die gerade im Mittelpunkt gegenwärtiger Forschung stehen.
Aktuell
- Am Montag, den 17. Oktober 2005 und am Montag den 24. Oktober
2005 fallen Vorlesung und Übung aus.
- Die erste Vorlesung findet am Mittwoch, den 19. Oktober 2005, die erste
Übung am Montag, den 31. Oktober 2005 statt.
Dozent
| Telefon: |
+49-30-2093-3083 |
| Raum: |
RUD 25, 4.412 |
| E-Mail: |
| kschmidt |
@ |
informatik.hu-berlin.de |
|
| Telefon: |
+49-30-2093-3071 |
| Raum: |
RUD 25, 4.414 |
| E-Mail: |
| massuthe |
@ |
informatik.hu-berlin.de |
|
Termin
| |
Tag |
Zeit |
Ort |
| VL |
Montag |
11-13 Uhr |
RUD 25, 3.101 |
| VL |
Mittwoch |
11-13 Uhr |
RUD 25, 3.101 |
| UE |
Montag |
9-11 Uhr |
RUD 25, 3.101 |
Material
Literatur
- E. Clarke, O. Grumberg und D. Peled: Model Checking. MIT Press
2000.
- B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci,
P. Schnoebelen, P. McKenzie: Systems and Software Verification:
Model-Checking Techniques and Tools. Springer 2001.
Vorlesungen/Übungen