Software Engineering using Formal Methods	TDA293/DIT270, LP1, HT2012
Lecture Notes
In this lecture we discussed the translation of JML specifications into KeY Dynamic Logic to prove correctness of Java programs. Slides (full version) Slides (paper saving version) Examples
Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools	W. Ahrendt J. Svenningsson M. Wang , Oct 17, 2012