A Proposal for Broad Spectrum Proof Certificates
No abstract available.
DOI 10.1007/978-3-642-25379-9_6
Related papers
- Proof transfer for fast certification of multiple approximate neural networks OOPSLA 2022
- Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier OOPSLA 2023
- Liveness Proofs for Hardware Model Checking CAV 2026
- A promising semantics for relaxed-memory concurrency POPL 2017
- Compact Proof Certificates for Linear Logic CPP 2012
- Automated Certification of Implicit Induction Proofs CPP 2011
- Locality in Software Systems POPL 1983
- A specification for dependent types in Haskell ICFP 2017