Conference paper Open Access

Formally Validating a Practical Verification Condition Generator -- Artifact

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).

Files (6.6 GB)
Name Size
boogieproof.ova
md5:bc84a93599efc5b89006927a80affa65
6.6 GB Download
211
23
views
downloads
All versions This version
Views 211211
Downloads 2323
Data volume 150.8 GB150.8 GB
Unique views 187187
Unique downloads 2222

Share

Cite as