Decision Procedures for Verification

Slides

  • 22.10.2018: Introduction [introduction.pdf]
  • 25.10.2018: Propositional logic (1) [prop-logic1.pdf]
  • 29.10.2017: Propositional logic (2) [prop-logic2.pdf]
  • 5.11.2018 and 12.11.2018: Propositional logic (3) [prop-logic3.pdf]
  • 12.11.2018: First-order logic (1) [first-order-logic1.pdf]
  • 19.11.2018: First-order logic (2) [first-order-logic2.pdf]
  • 26.11.2018: First-order logic (3) [first-order-logic3.pdf]
  • 3.12.2018: First-order logic (4) [first-order-logic4.pdf]
  • 10.12.2018: First-order logic (5) + Decision Procedures (1) [first-order-logic5.pdf]
  • 17.12.2018 and 20.12.2018: Decision procedures (1) [decproc1.pdf]
  • Example (congruence closure) [congruence-closure-example.pdf]
  • The same example with more details [congruence-closure-example.pdf]
  • 7.01.2019: Decision procedures (2) [decproc2.pdf] (before the lecture)
  • Examples (difference logic) [difference-logic-examples.pdf]
  • Examples (difference logic with < and <=) [difference-logic-examples2.pdf]
  • 14.01.2019: Decision procedures (3) [decproc3.pdf]
  • Example (Fourier-Motzkin) example 1 , example 2
  • Examples (Loos-Weispfenning) example 1, example 2
  • 14.01.2019 and 21.01.2019 Combinations of decision procedures (1) [combinations1.pdf]
  • 28.1.2019: Combinations of decision procedures (2) [combinations2.pdf]
  • 4.2.2019: Combinations of decision procedures (3); Applications [combinations3.pdf]