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.

2022W, UE, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: UE Übung
  • Format der Abhaltung: Distance Learning

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage

  • Algorithmen für Entscheidungsprozeduren (insbesondere für Erfüllbarkeit/SAT) zu verstehen.
  • Moderne SAT-basierte Model Checking Algorithmen zu verstehen.
  • Symbolische Model Checking Algorithmen zu implementieren.

Inhalt der Lehrveranstaltung

Implementierung eines SAT-basierten Model Checking Algorithmus.

Methoden

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.

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)
----------------------------------

Im SS2022 wurde diese Lehrveranstaltung leider gecancelled.

Wir werden sie im WS2022 wieder aufnehmen.


Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Fr.12:00 - 14:0013.01.2023 https://tuwien.zoom.us/j/99088068453?pwd=Z1BJM251bm1XWW4wNVN4dXNablNwQT09 (LIVE)Übungsvorlesung
LVA wird geblockt abgehalten

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
28.10.2022 00:00 20.01.2023 00:00 20.01.2023 00:00

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Basic programming skills (in a language of your choice), no previous experience with verification tools is required

Begleitende Lehrveranstaltungen

Sprache

Englisch