Inhalt

[ INMAWVOAMCH ] VL Advanced Model Checking

Versionsauswahl
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
3 ECTS M2 - Master 2. Jahr Informatik Armin Biere 2 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Masterstudium Informatik (auslaufend) 2012W
Ziele SAT and BDD-based symbolic model checking
Lehrinhalte SAT problem, SAT algorithms, DPLL, learning, SAT encoding, time frame expansion, bounded model checking, simple path constraints, image computation, interpolation, BDD based symbolic model checking
Beurteilungskriterien
Abhaltungssprache Englisch
Lehrinhalte wechselnd? Nein
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Direktzuteilung