Software Engineering using Formal Methods	TDA293/DIT270, LP1, HT2012
Lecture Notes
In this lecture we discuss the basic principles of sequent calculus for (Java) dynamic logic. A core concept is symbolic execution, which is achieved using the concept of explicit state updates. We discuss how programs are gradually transformed into (parallel) updates. Then, we discuss how various complications of a real-world language like Java are treated in the calculus. Slides (full version) Slides (paper saving version, but with bogus animations) Examples
Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools	W. Ahrendt J. Svenningsson M. Wang , Oct 11, 2012