Testing, Debugging and Verification - Formal Verification, part 3

Testing, Debugging, and Verification	TDA566/DIT082, LP2, HT2011
Lecture Notes, December 6.
Topics The topics of the lecture are Arrays Total correctness Slides and Handouts FormalVerification3.pdf FormalVerification3-handout.pdf Examples FormalVerification2_Examples.zip (same file as last lecture)

Home \| Course \| Schedule \| Exam \| Exercises \| Labs \| Evaluation \| Tools \| Links	W. Ahrendt, V. Klebanov, Dec 6, 2011