Conference paper Open Access

Formally Validating a Practical Verification Condition Generator -- Artifact

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


JSON-LD (schema.org) Export

{
  "description": "<p>This is the artifact submitted to the CAV 2021 artifact evaluation committee for the paper <em>&quot;Formally Validating a Practical Verification Condition Generator&quot;</em>.</p>\n\n<p>We tested the (Ubuntu 20.04) virtual machine using Virtual Box 6.1. The Login should be automatic. The username is &quot;boogie&quot; and the password is &quot;test123&quot;. Recommended settings are 8GB RAM and 4 cores.</p>\n\n<p>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).</p>", 
  "license": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "ETH Zurich", 
      "@type": "Person", 
      "name": "Parthasarathy Gaurav"
    }, 
    {
      "affiliation": "ETH Zurich", 
      "@type": "Person", 
      "name": "M\u00fcller Peter"
    }, 
    {
      "affiliation": "University of British Columbia", 
      "@type": "Person", 
      "name": "Summers Alexander J."
    }
  ], 
  "headline": "Formally Validating a Practical Verification Condition Generator -- Artifact", 
  "image": "https://zenodo.org/static/img/logos/zenodo-gradient-round.svg", 
  "datePublished": "2021-04-29", 
  "url": "https://zenodo.org/record/4726554", 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.4726554", 
  "@id": "https://doi.org/10.5281/zenodo.4726554", 
  "@type": "ScholarlyArticle", 
  "name": "Formally Validating a Practical Verification Condition Generator -- Artifact"
}
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