Software Engineering using Formal Methods - Lecture: Selected Features

Software Engineering using Formal Methods	TDA293/DIT270, LP1, HT2013
Lecture Notes
In this lecture we discussed proving programs with loops and modular verification using method contracts. Slides (full version) Slides (paper saving version, slide 2 comes out wrong) Examples In the end, Laura presented a course on Automated Reasoning for Program Verification, which she will give in quarter 2, starting, October 28, 10:15am-12:00, room EDIT 3364. Also, there were different possible Master thesis topics presented by Gerardo, Moa, Laura, and Wolfgang. Slides on this were provided by Moa, Laura, and Wolfgang. Please contact any of us if you are interested.

Home \| Course \| Schedule \| Exam \| Exercises \| Labs \| Eval \| Tools	W. Ahrendt , Oct 17, 2013