RWTH Leitseite

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
    RWTH Aachen