User Tools

Site Tools


2010:2if25

Formal Methods (2IF25) Information and material

Regulation

There is a facultative assignment on program verification. This assignment is handed out on the practical session of 9 December 2010. Submission date is 9 January, 2011. A sufficient assignment will add 1 point maximum to the final grade.

Material

The answer to exercise PV 3.1 (Gentzen derivation) of 25 November is presented as an animation. Click on the screen to see the next step. The file is in QuickTime movie format. Let me know if this gives problems.

2010/2if25.txt · Last modified: 2013/05/02 12:47 (external edit)