 |
| Detailinformationen |
| Quellcurriculum |
Masterstudium Computer Science 2019W |
| 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 |
921CGELAMCK13: KV Advanced Model Checking (3 ECTS)
|
| Frühere Varianten |
Decken ebenfalls die Anforderungen des Curriculums ab (von - bis)
921CGELAMCK13: KV Advanced Model Checking (2013W-2019S)
|
|
