181.144 Computer-Aided Verification
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2019S, UE, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: UE Übung

Ziele der Lehrveranstaltung

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 14. Juni in der CAV Vorlesung praesentiert, die Abgaben sind am Anfang des Wintersemesters faellig.

 

Inhalt der Lehrveranstaltung

Implementierung eines SAT-basierten Model Checking Algorithmus.

Weitere Informationen

Anmeldung über TISS Studierende der Kennzahlen 931,938 werden bevorzugt. Bitte LVA 181.145 abonnieren; dort erscheinen die Termine.

ECTS Breakdown:
----------------------------------
60h Übungen
15h Übungspräsentationen
----------------------------------
75h (3 ECTS)
----------------------------------

Vortragende

Institut

Leistungsnachweis

Evaluation of your implementation and discussion/presentation of your source code.

LVA-Anmeldung

Von Bis Abmeldung bis
20.05.2019 00:00 29.06.2019 23:59 13.07.2019 23:59

Anmeldemodalitäten:

aktuelle Infos bitte LVA abonnieren Ort: TISS

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Basic programming skills, no previous experience with verification tools is required

Begleitende Lehrveranstaltungen

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Englisch