Decision Procedures for Verification
Slides
15.10.2012: Introduction
[introduction.pdf]
15.10.2012: Propositional logic (1)
[prop-logic1.pdf]
22.10.2012: Propositional logic (2)
[prop-logic2.pdf]
(german summary:
[prop-logic-2-summary-german.pdf]
)
29.10.2012: Propositional logic (3)
[prop-logic3.pdf]
5.11.2012: Propositional logic (4)
[prop-logic4.pdf]
12.11.2012: Propositional logic (5: Applications)
[prop-logic5.pdf]
12.11.2012: First-order logic (1)
[first-order-logic1.pdf]
19.11.2012: First-order logic (2)
[first-order-logic2.pdf]
26.11.2012: First-order logic (3)
[first-order-logic3.pdf]
(Lecture held by Matthias Horbach)
3.12.2012: First-order logic (4)
[first-order-logic4.pdf]
10.12.2012: Decision procedures (1)
[decproc-1.pdf]
17.12.2012: Decision procedures (2)
[decproc-2.pdf]
Example (congruence closure)
[congruence-closure-example.pdf]
Examples (difference logic)
[difference-logic-examples.pdf]
7.1.2013: Decision procedures (3)
[decproc-3.pdf]
Examples (Fourier-Motzkin)
example 1
,
example 2
.
Examples (difference logic with < and <=)
[difference-logic-examples2.pdf]
14.1.2013: Combinations of decision procedures (1)
[combinations1.pdf]
21.1.2013: Combinations of decision procedures (2)
[combinations2.pdf]
28.1.2013: Combinations of decision procedures (3)
[combinations3.pdf]
4.2.2013: Combinations of decision procedures (4)
[combinations4.pdf]