Formally Validating a Practical Verification Condition Generator (extended version)
Open access
Date
2021-05-29Type
- Working Paper
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-b-000489720Publication status
publishedExternal links
Journal / series
arXivPages / Article No.
Publisher
Cornell UniversityOrganisational unit
03653 - Müller, Peter / Müller, Peter
Funding
197065 - Formal Foundations of Translational Program Verifiers (SNF)
More
Show all metadata
ETH Bibliography
yes
Altmetrics