Formally Validating a Practical Verification Condition Generator (extended version)
Open access
Datum
2021-05-29Typ
- Working Paper
ETH Bibliographie
yes
Altmetrics
Persistenter Link
https://doi.org/10.3929/ethz-b-000489720Publikationsstatus
publishedExterne Links
Zeitschrift / Serie
arXivSeiten / Artikelnummer
Verlag
Cornell UniversityOrganisationseinheit
03653 - Müller, Peter / Müller, Peter
Förderung
197065 - Formal Foundations of Translational Program Verifiers (SNF)
ETH Bibliographie
yes
Altmetrics