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


BibTeX Export

@software{rodolphe_lepigre_2021_5662349,
  author       = {Rodolphe Lepigre and
                  Michael Sammler and
                  Kayvan Memarian and
                  Robbert Krebbers and
                  Derek Dreyer and
                  Peter Sewell},
  title        = {{Artifact and Appendix of "VIP: Verifying Real- 
                   World C Idioms with Integer-Pointer Casts"}},
  month        = nov,
  year         = 2021,
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.5662349},
  url          = {https://doi.org/10.5281/zenodo.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