Title: Verification of imperative programs: The VeriFast approach. A draft course text
Authors: Jacobs, Bart
Smans, Jan
Piessens, Frank
Issue Date: Mar-2010
Publisher: Department of Computer Science, K.U.Leuven
Series Title: CW Reports vol:CW578
Abstract: This draft course text presents a formalization and soundness proof of a core subset of the VeriFast approach for verification of imperative programs.
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Informatics Section

Files in This Item:
File Description Status SizeFormat
CW578.pdfDocument Published 339KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.