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
FormalSpecification 2
Home
|
Course
|
Schedule
|
Exam
|
Exercises
|
Labs
|
Evaluation
|
Tools
Atze van der Ploeg
, Oct 18, 2016