Conference paper Open Access

Formally Validating a Practical Verification Condition Generator -- Artifact

Parthasarathy Gaurav; Müller Peter; Summers Alexander J.


Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:creator>Parthasarathy Gaurav</dc:creator>
  <dc:creator>Müller Peter</dc:creator>
  <dc:creator>Summers Alexander J.</dc:creator>
  <dc:date>2021-04-29</dc:date>
  <dc: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).</dc:description>
  <dc:identifier>https://zenodo.org/record/4726554</dc:identifier>
  <dc:identifier>10.5281/zenodo.4726554</dc:identifier>
  <dc:identifier>oai:zenodo.org:4726554</dc:identifier>
  <dc:relation>doi:10.5281/zenodo.4726553</dc:relation>
  <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:rights>https://creativecommons.org/licenses/by/4.0/legalcode</dc:rights>
  <dc:title>Formally Validating a Practical Verification Condition Generator -- Artifact</dc:title>
  <dc:type>info:eu-repo/semantics/conferencePaper</dc:type>
  <dc:type>publication-conferencepaper</dc:type>
</oai_dc:dc>
222
24
views
downloads
All versions This version
Views 222222
Downloads 2424
Data volume 157.4 GB157.4 GB
Unique views 198198
Unique downloads 2323

Share

Cite as