Conference paper Open Access
Parthasarathy Gaurav; Müller Peter; Summers Alexander J.
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).