Hide menu

TDDE34 Software Verification (6 ECTS)

Vt2 2021


Latest News...


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