Software Engineering using Formal Methods

Software Engineering using Formal Methods	TDA293/DIT270, LP1, HT2012
Lecture Notes
Topics This lecture is all about introducing dynamic logic, as an extension of first-order logic. To prepare the ground, we first have a deeper look into the syntax and, in particular, semantics of first-order logic, to then extend on this to arrive at dynamic logic. Handouts Slides (full version) Slides (paper saving version, but with bogus animations)

Home \| Course \| Schedule \| Exam \| Exercises \| Labs \| Eval \| Tools	W. Ahrendt J. Svenningsson M. Wang , Oct 11, 2012