Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage
Implementierung eines SAT-basierten Model Checking Algorithmus.
The students will work individually on building their own SAT-based model checkers.
The course is held online, all Q&A sessions as well as the final presentations will be done on Zoom. For the final presentation students must have a working camera and be able to share their screen.
Attending the accompanying lecture (CAV VU) is highly recommended.
Anmeldung über TISS Studierende der Kennzahlen 931,938 werden bevorzugt. Bitte LVA 181.145 abonnieren; dort erscheinen die Termine.
ECTS Breakdown:----------------------------------60h Übungen15h Übungspräsentationen----------------------------------75h (3 ECTS)----------------------------------
Im SS2022 wurde diese Lehrveranstaltung leider gecancelled.
Wir werden sie im WS2022 wieder aufnehmen.
The students are evaluated individually according to the following criteria: suitability of chosen approach, comprehensiveness and precision of project documentation and presentation, quality of results.
Basic programming skills (in a language of your choice), no previous experience with verification tools is required