Home > Publications > Reports > Informatics (CW)


CW 578

Bart Jacobs, Jan Smans, and Frank Piessens
Verification of imperative programs: The VeriFast approach. A draft course text

Abstract

This draft course text presents a formalization and soundness proof of a core subset of the VeriFast approach for verification of imperative programs.

report.pdf (340K) / mailto: B. Jacobs