Testing, Debugging, and Verification TDA567/DIT082, LP2, HT2015
Lecture Notes: Formal Specification 2.

Topics

  • Recap: First-order logic
  • Introduction to Dafny: Classes, methods
  • Pre- and Postconditions in Dafny
  • Function, predicates
  • Quantified expressions, range predicates.

Slides



Home | Course | Schedule | Exam | Exercises | Labs | Evaluation | Tools Atze van der Ploeg, Oct 18, 2016