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


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
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