VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java

Authors:

BJBart Jacobs
Bart Jacobs

Top Cited Papers

Publisher website

1 January 2011

book chapter
Published by Springer Nature

p. 41-55
DOI:10.1007/978-3-642-20398-5_4

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

Expressive modular fine-grained concurrency specification
2011
A Quick Tour of the VeriFast Program Verifier
2010
Compositional shape analysis by means of bi-abduction
ACM SIGPLAN Notices, 2009
A Local Shape Analysis Based on Separation Logic
2006
Permission accounting in separation logic
2005