On the Structure of Verifiable Code Generator Specifications
No abstract available.
Related papers
- Generating customized verifiers for automatically generated code GPCE 2008
- Refinement based verification of imperative data structures CPP 2016
- Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types TOPLAS 2017
- Extensional equality preservation and verified generic programming JFP 2021
- JaVerT: JavaScript verification toolchain POPL 2018
- Deductive Program Repair CAV 2015
- Verifying a hash table and its iterators in higher-order separation logic CPP 2017
- Program verification through characteristic formulae ICFP 2010