conference-paper
Open access
Partial Solutions to VerifyThis 2016 Challenges 2 and 3 with VeriFast
Research footprint
At a glance
- Citations
- 1
- References
- 5
- Comments
- 0
Paper overview
Abstract
We describe our partial solutions, using our VeriFast separation-logic based tool for modular formal verification of C and Java programs, to Challenges 2 and 3 of the VerifyThis 2016 Verification Competition, involving the verification of crash-freedom and certain correctness properties of code fragments implementing constant-space tree traversal and a tree barrier.
Record transparency
Publication details
- DOI
- 10.1145/2955811.2955818
- OpenAlex
- W2462646591
- Document type
- conference-paper
- Language
- EN
- Last metadata update
Comments
Log in to join the discussion.