Decision Procedures for Specific Theories
Overview
| Lecturer | Thomas Sturm Christoph Weidenbach |
|---|---|
| When | TBD |
| Where | TBD |
| Registration | https://seminars.cs.uni-saarland.de/seminars2425 |
We study state-of-the-art articles on algorithmic decision procedures for specific theories such as arithmetic, bit vectors, or theories defined by first-order fragments.
If you have any questions, please contact Jennifer Müller.
Requirements
Successful participation in the lectures Automated Reasoning and Algorithmic Quantifier Elimination.
Schedule
TBD
Literature
- Aaron R. Bradley, Zohar Manna:
The Calculus of Computation - Decision Procedures with Applications to Verification
Springer Berlin, Heidelberg, 2007.
- Daniel Kroening, Ofer Strichman:
Decision Procedures - An Algorithmic Point of View
Springer-Verlag Berlin Heidelberg, 2016.