Coronavirus - Informationen und Empfehlungen: https://colab.tuwien.ac.at/display/CORONA

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.

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

Merkmale

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

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage

  • Understand and use constraint solvers, in particular satisifiability solvers.
  • Understand SAT based model checking algorithms
  • Implement model checking algorithms and test them.

Inhalt der Lehrveranstaltung

Implementierung eines SAT-basierten Model Checking Algorithmus.

Methoden

The students will work in small groups on building their own SAT based model checkers. 

Prüfungsmodus

Schriftlich und Mündlich

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

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.

LVA-Anmeldung

Von Bis Abmeldung bis
18.05.2020 00:00 27.06.2020 23:59 11.07.2020 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