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