Software Engineering using Formal Methods - Assignment 2 - Specification and Verification of programs using KeY

Software Engineering using Formal Methods	TDA293/DIT270, LP1, HT2011
Assignment 2 - Specification and Verification of programs using KeY Assignment 2 builds on top of the Maze example from the Friday exercise session on the 5th of October. Your job is to complete, specify, and verify the Maze implementation. The assignment material consists of: The full description of the assignement in PDF - maze.pdf. This includes submission instructions, The Eclipse project / source files of the (incomplete) Java code you will work with - MazeLab.zip.

Home \| Course \| Schedule \| Exam \| Exercises \| Labs \| Eval \| Tools	Last Modified: 08 Oct 2012