Hide menu

TDDE34 Software Verification

All Messages

03/05  The approach to show partial and total correctness for the example discussed in monday's lecture (2/5) is now detailed in slides 14-15 of fo06.pdf for partial correctness and in slides 16-17 of fo06.pdf for total correctness.

14/03  Web page being updated for the course start.

Page responsible: Ahmed Rezine
Last updated: 2019-07-05