RWTH Leitseite

Seminar: Push-Button Verifikation (S2) SS 2001


Veranstalter

Prof. Dr. Jürgen Giesl, Benedikt Bollig, Darius Dlugosz, Martin Leucker

Das Seminar wird als Blockseminar am Ende der Vorlesungszeit (Fr. 20.07.01, Mo. 23.07.01) veranstaltet.


Inhalt

Viele Programmeigenschaften lassen sich vollautomatisch mit teils sehr effizienten Entscheidungsverfahren untersuchen. Solche "Push-Button"-Verifikationstechniken sind ohne großen Zeitaufwand einsetzbar und erfordern keine entsprechende Schulung der Benutzer. Sie werden daher in immer stärkerem Maße in der Industrie verwendet. In diesem Seminar sollen verschiedene solche Verfahren (für unterschiedliche Probleme bei der Zuverlässigkeit von Programmen und Systemen) vorgestellt werden.



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


Termine
Freitag, 20.07
Nr.UhrzeitThemaReferentBetreuer
113:00 - 14:00Binary Decision DiagramsMartin ThomasProf. Jürgen Giesl
214:15 - 15:15 Davis-Putnam AlgorithmusKhai-Binh DuongProf. Jürgen Giesl
315.30 - 16:30Stalmarck's ProzedurMarkus GrohsDarius Dlugosz
Montag, 23.07
411:00 - 12:00Temporale Logik und Model-CheckingOliver SpechtMartin Leucker
512:15 - 13:15Model-Checking und Automaten, SPINSteffen OffermannDarius Dlugosz
Pause
615:00 - 16:00Monadische Logik 2.OrdnungStephan KüpperBenedikt Bollig
716:15 - 17:15Presburger ArithmetikMarc-Oliver WesterburgBenedikt Bollig

Last modified: Mon Jul 16 16:05:42 CEST 2001 / Darius Dlugosz / Lehr- und Forschungsgebiet Informatik II
RWTH Aachen