Decision Procedures for Specific Theories

Overview

Lecturer	Thomas Sturm Christoph Weidenbach
When	Introductory Meeting: Wed, Oct 30, 2024, 3p.m.
Where	Building E1 5, Room 622
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

Intorductory Meeting: Wednesday, October 30, 2024, 3 p.m.

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.