Conference paper Open Access

Formally Validating a Practical Verification Condition Generator -- Artifact

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


BibTeX Export

@proceedings{parthasarathy_gaurav_2021_4726554,
  title        = {{Formally Validating a Practical Verification 
                   Condition Generator -- Artifact}},
  year         = 2021,
  publisher    = {Zenodo},
  month        = apr,
  doi          = {10.5281/zenodo.4726554},
  url          = {https://doi.org/10.5281/zenodo.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