Laborübung zur gleichnamigen Vorlesung. Die Übungen geben Studierenden die Möglichkeit praktische Erfahrung in den in der Vorlesung vermittelten Methoden und Tools zu sammeln.
Die Aufgabenstellung wird am 15. Juni in der CAV Vorlesung praesentiert, die Abgaben sind am Anfang des Wintersemesters faellig.
Implementierung eines SAT-basierten Model Checking Algorithmus.
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)----------------------------------
Evaluation of your implementation and discussion/presentation of your source code.
aktuelle Infos bitte LVA abonnieren Ort: TISS
Basic programming skills, no previous experience with verification tools is required