Software Engineering Using Formal Methods


Exercises Week 6 – Dynamic Logic

These are the exercises for week 6.

Here are some dynamic logic programs. Play around with KeY and get to know how KeY works to verify dynamic logic problems. If some programs cannot be verified, think about the reasons and fix them.

Here are the solutions.





Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools W. Ahrendt , Oct 12, 2015