Materialien
Vorlesungsmaterial
Seminar: SAT and beyond - Wintersemester 07/08
Übersicht
| Beschreibung |
In den lezten Jahren wurden enorme Fortschritte in der Performance von SAT-Solvern erzielt, wodurch das Verfahren für die Praxis interessant geworden ist. Für viele komplexe Systeme (z.B hybride Systeme) allerdings reicht die Ausdruckskraft der propositionalen Logik nicht aus. In solchen erweiterten Domänen müssen die Formeln mit Booleschen Kombinationen von domain-spezifischen Atomen auf Erfüllbarkeit getestet werden. In unserem Seminar werden wir uns daher mit den Themen befassen, wie die bereits existierenden SAT-Techniken zur Verifikation komplexer Systeme erweitert werden können. |
| Kommentar |
|