Testing, Debugging and Verification - Formal Verification, part 2

Testing, Debugging, and Verification	TDA566/DIT082, LP2, HT2013
Lecture Notes, December 2.
Topics The topics of the lecture are KeY-Hoare (see previous lecture) Conditionals (see previous lecture) Loop unwinding Loop invariants Slides and Handouts FormalVerification2.pdf FormalVerification2-handout.pdf A worked example of Invariant Discovery using Key-Hoare: Fibonacci sequence Examples FormalVerification2_Examples.zip

Home \| Course \| Schedule \| Exam \| Exercises \| Labs \| Evaluation \| Tools \| Links	Moa Johansson, Dec 4, 2012