 |
| Detailinformationen |
| Quellcurriculum |
Masterstudium Computer Science 2013W |
| 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 |
| Äquivalenzen |
INMAWVOAMCH: VO Advanced Model Checking (3 ECTS)
|
|
