Verification of an Error Correcting Code by Abstract Interpretation
No abstract available.
Related papers
- Verifying Fault-Tolerance of Quantum Error Correction Codes CAV 2025
- Formal Verification of a C Value Analysis Based on Abstract Interpretation SAS 2013
- Abstract Interpreters: A Monadic Approach to Modular Verification ICFP 2024
- An Abstract Model of Certificate Translation TOPLAS 2011
- Efficient Formal Verification of Quantum Error Correcting Programs PLDI 2025
- A Logic for the Imprecision of Abstract Interpretations POPL 2026
- A vision for online verification-validation GPCE 2016
- Mining specifications POPL 2002