Formal Methods for Software Development TDA294/DIT271, LP1, HT2020

Lecture Notes: Verification with KeY

In this lecture we discussed proving programs with loops and modular verification using method contracts.

Handouts




W. Ahrendt, Oct 20, 2020