Published April 29, 2021
| Version v1
Conference paper
Open
Formally Validating a Practical Verification Condition Generator -- Artifact
- 1. ETH Zurich
- 2. University of British Columbia
Description
This is the artifact submitted to the CAV 2021 artifact evaluation committee for the paper "Formally Validating a Practical Verification Condition Generator".
We tested the (Ubuntu 20.04) virtual machine using Virtual Box 6.1. The Login should be automatic. The username is "boogie" and the password is "test123". Recommended settings are 8GB RAM and 4 cores.
The README with the instructions for the artifact is given by https://github.com/gauravpartha/boogie_proofgen/blob/master/etc/vm/README.md (a version is also in the home folder of the VM).
Files
Files
(6.6 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:bc84a93599efc5b89006927a80affa65
|
6.6 GB | Download |
Additional details
Funding
- Swiss National Science Foundation
- Formal Foundations of Translational Program Verifiers 200021_197065