Title: VeriFast: A powerful, sound, predictable, fast verifier for C and Java
Authors: Jacobs, Bart
Smans, Jan
Philippaerts, Pieter
Vogels, Frédéric
Penninckx, Willem
Piessens, Frank
Issue Date: 2011
Publisher: Springer
Host Document: NASA Formal Methods vol:6617 pages:41-55
Series Title: Lecture Notes in Computer Science
Conference: NASA Formal Methods (NFM 2011) edition:3 location:Pasadena, USA date:18-20 April 2011
ISBN: 978-3-642-20397-8
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section

Files in This Item:
File Description Status SizeFormat
nfm2011.pdf Published 184KbAdobe PDFView/Open


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

© Web of science