Verification of Certifying Computations
Abstract elided by the publisher.
Related papers
- Computer-Assisted Verification of a Protocol for Certified Email SAS 2003
- Certified Verification for Algebraic Abstraction CAV 2023
- Unifying Compositional Verification and Certified Compilation with a Three-Dimensional Refinement Algebra POPL 2025
- Certified concurrent abstraction layers PLDI 2018
- Mostly-automated verification of low-level programs in computational separation logic PLDI 2011
- Deep Specifications and Certified Abstraction Layers POPL 2015
- Perception with Guarantees: Certified Pose Estimation via Reachability Analysis CAV 2026
- Automated Verification of Soundness of DNN Certifiers OOPSLA 2025