Software Open Access

Artifact and Appendix of "VIP: Verifying Real-World C Idioms with Integer-Pointer Casts"

Rodolphe Lepigre; Michael Sammler; Kayvan Memarian; Robbert Krebbers; Derek Dreyer; Peter Sewell


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.5662349", 
  "language": "eng", 
  "title": "Artifact and Appendix of \"VIP: Verifying Real-World C Idioms with Integer-Pointer Casts\"", 
  "issued": {
    "date-parts": [
      [
        2021, 
        11, 
        9
      ]
    ]
  }, 
  "abstract": "<p>This is the artifact for the POPL&#39;22&nbsp;paper &quot;VIP: Verifying Real-World C Idioms with Integer-Pointer Casts&quot;. It contains an extended version of&nbsp;the RefinedC and Cerberus tools with the presented VIP memory model, as well as examples, evaluation data, and the technical appendix for the paper.</p>", 
  "author": [
    {
      "family": "Rodolphe Lepigre"
    }, 
    {
      "family": "Michael Sammler"
    }, 
    {
      "family": "Kayvan Memarian"
    }, 
    {
      "family": "Robbert Krebbers"
    }, 
    {
      "family": "Derek Dreyer"
    }, 
    {
      "family": "Peter Sewell"
    }
  ], 
  "type": "article", 
  "id": "5662349"
}
249
42
views
downloads
All versions This version
Views 249249
Downloads 4242
Data volume 28.0 GB28.0 GB
Unique views 219219
Unique downloads 3131

Share

Cite as