Seminar: Verifikationswerkzeuge und -verfahren (S2) WS 2000/01

Veranstalter:        Prof. Dr. Jürgen Giesl, Darius Dlugosz



Inhalt:
In diesem Seminar sollen verschiedene Beweissysteme und Methoden, 
die in der Verifikation ihren Einsatz finden, vorgestellt werden. 
Die insgesamt 12-14 zu vergebenden Themen behandeln die 
Schwerpunkte 

Model Checking
Theorem Proving
Kombination der Verfahren
Verifikationswerkzeuge: ACL2, PVS, SMV, STeP u.a.







Literatur:
Wird bei der Vorbesprechung bekanntgegeben und verteilt.



Zuordnung:
Theoretische Informatik, Informatik Vertiefung



Rückfragen:
Prof. Dr. Jürgen Giesl, Tel: 80-21230, E-Mail: giesl@informatik.rwth-aachen.de






  

    

      

        
 
        



Last modified: Tue Jul 10 09:45:36 CEST 2001

/

Darius Dlugosz

/

Lehr- und Forschungsgebiet Informatik II