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