Software Engineering Using Formal MethodsExercises Week 6 – Dynamic LogicThese 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. | |
Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools | W. Ahrendt , Oct 12, 2015 |