![](https://studienhandbuch.jku.at/pics/pixel.gif) |
Detailed information |
Original study plan |
Master's programme Computer Science 2013W |
Objectives |
SAT and BDD-based symbolic model checking
|
Subject |
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
|
Criteria for evaluation |
|
Language |
English |
Changing subject? |
No |
Corresponding lecture |
(*)INMAWVOAMCH: VO Advanced Model Checking (3 ECTS)
|
|