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]