|
General information
|
|
Course name |
Decision Procedures |
|
Course type |
Lecture |
|
Course code |
Inf-EntVer |
|
Course coordinator |
Prof. Dr. Dirk Nowotka |
|
Faculty |
Engineering |
|
Examination office |
pruefungsamt@informatik.uni-kiel.de |
|
Short summary |
In this course we deal with essential decision procedures and their applications. Decision procedures for the satisfiability problem for various logics, SAT-, SMT, and QBF-solvers, are introduced. Such procedures constitute a technological foundation for applications in the field of software verification. We consider algorithmic aspects, heuristics and modern implementations of those. |
|
|
|
Information about study level
|
|
Study level |
Master |
|
Also possible for |
|
|
|
|
Information about credit points, evaluation and frequency
|
|
ECTS |
6 |
|
Evaluation |
Oral exam |
|
Frequency |
Winter semester |
|
|
|
Information about teaching language
|
|
Teaching language |
English |
|
Minimum language requirement |
B1 |
|
Further information on the teaching language |
|
|
|
|
Information about requirements
|
|
Recommended requirements |
Basic knowledge in mathematical logic |
|
|
|
Information about course content, reading list and additional information
|
|
Course Content |
Algorithms, heuristics and modern implementations of decision procedures. |
|
Reading list |
D. Kröning, O. Strichman: Decision Procedures - An Algorithmic Point of View (Springer, 2008) |
|
Additional information |
|
