195.011 Model Checking
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2014S, VU, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

Theoretical and practical knowledge about model checking.

Inhalt der Lehrveranstaltung

Specification formalisms, model checking algorithms, BDDs, SAT, abstraction, model checking tools.

Weitere Informationen

This is a course of the Vienna PhD School of Informatics. It will be hold following the lectures of "181.145 Computer Aided Verification", but having different exercises.

Course dates to be announced.

Vortragende Personen

  • Veith, Helmut

Institut

LVA-Anmeldung

Von Bis Abmeldung bis
07.03.2014 00:00 06.06.2014 00:00 06.06.2014 00:00

Anmeldemodalitäten

Registration takes place in TISS

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
PhD Vienna PhD School of Informatics Keine Angabe

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Englisch