 | Exercise 3 (correction) |
|
Dear course participants, a slight correction to Exercise 3 (due May 11): while the result of the second part is a paper (or PDF file), the result of the first part is a PVS file with the proof obligations and the corresponding .prf file with the proof (as for Exercise 1) to be sent to me per email. Regards, WS |
Formal Methods in Software Development (SS 2006)
|