Testing, Debugging and Verification - Formal Specification, part 1

Testing, Debugging, and Verification	TDA566/DIT082, LP2, HT2013
Lecture Notes, November 15.
Topics The topics of the lecture are problems only solvable by observing specifications (gradual) formalisation of informal specifications design by contract pre/post-conditions an introduction to first-order logic Slides FormalSpecification1.pdf FormalSpecification1-handout.pdf Examples FormalSpecification1_Examples.zip Reading hints For learning more about First-Order Logic, we refer to the book Verification of Object-Oriented Software: The KeY Approach. You can access, and download, the online version from a Chalmers account. Chapter 2 'First-Order Logic' gives a thorough account on the topic. I recommend reading sections 2.2 and 2.3 for this lecture.

Home \| Course \| Schedule \| Exam \| Exercises \| Labs \| Evaluation \| Tools \| Links	Moa Johansson, Nov 19, 2012