The Modular Framework of Computer-Aided Verification
No abstract available.
Related papers
- Formally Verified Montgomery Multiplication CAV 2018
- CAVEAT: Technique and Tool for Computer Aided VErification And Transformation CAV 1995
- A Framework for Computer-Aided Design of Educational Domain Models VMCAI 2018
- A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs OOPSLA 2026
- A lightweight symbolic virtual machine for solver-aided host languages PLDI 2014
- Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control TACAS 1996
- OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust TACAS 2024
- Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations OOPSLA 2016