SAT-Based Software Certification
Abstract elided by the publisher.
Related papers
- Subcubic certificates for CFL reachability POPL 2022
- Progress in Certifying Hardware Model Checking Results CAV 2021
- Liveness Proofs for Hardware Model Checking CAV 2026
- Orbitopal Fixing in SAT TACAS 2026
- Frying the egg, roasting the chicken: unit deletions in DRAT proofs CPP 2020
- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver CAV 2021
- A Provably Correct Embedded Verifier for the Certification of Safety Critical Software CAV 1997
- Perfectly parallel fairness certification of neural networks OOPSLA 2020