Testing, Debugging and Verification - Formal Specification, part 1

Testing, Debugging, and Verification	TDA567/DIT082, LP2, HT2015
Lecture Notes, November 23.
Topics The topics of the lecture are Introduction to first-order logic. Quantifiers: forall, exists. Design by contract. Pre/Post conditions. A first glance at Dafny. Slides FormalSpecification Examples FormalSpecification1_Examples.zip

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