From Complementation to Certification
No abstract available.
Related papers
- SAT-Based Software Certification TACAS 2006
- Compact Proof Certificates for Linear Logic CPP 2012
- A Proposal for Broad Spectrum Proof Certificates CPP 2011
- Program Certification by Higher-Order Model Checking CPP 2012
- Certificate Translation in Abstract Interpretation ESOP 2008
- Abstract Interpretation-Based Certification of Assembly Code VMCAI 2003
- Automated Certification of Implicit Induction Proofs CPP 2011
- Aspect-Oriented Runtime Monitor Certification TACAS 2012