Conference paper Open Access

Formally Validating a Practical Verification Condition Generator -- Artifact

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


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.4726554", 
  "author": [
    {
      "family": "Parthasarathy Gaurav"
    }, 
    {
      "family": "M\u00fcller Peter"
    }, 
    {
      "family": "Summers Alexander J."
    }
  ], 
  "issued": {
    "date-parts": [
      [
        2021, 
        4, 
        29
      ]
    ]
  }, 
  "abstract": "<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>", 
  "title": "Formally Validating a Practical Verification Condition Generator -- Artifact", 
  "type": "paper-conference", 
  "id": "4726554"
}
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