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