Title: Solving the VerifyThis 2012 challenges with VeriFast
Authors: Jacobs, Bart * ×
Smans, Jan *
Piessens, Frank #
Issue Date: 2015
Publisher: Springer
Series Title: International Journal on Software Tools for Technology Transfer vol:17 issue:6 pages:659-676
Abstract: We describe our experience solving the VerifyThis 2012
challenges with our program verification tool VeriFast,
including detailed explanations of our solutions. We also
describe some alternative solutions that we developed after the

VeriFast is a modular verifier that takes Java or C source code
annotated with function/method specifications written in a
variant of separation logic, and verifies that the code
complies with the annotations through symbolic execution.
ISSN: 1433-2779
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
* (joint) first author
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
verifythis2012-sttt.pdfarticle Accepted 338KbAdobe PDFView/Open


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

© Web of science