Computer Science - Decision Procedures

 

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