A Platform for Combining Deductive with Algorithmic Verification
No abstract available.
Related papers
- The Why/Krakatoa/Caduceus Platform for Deductive Program Verification CAV 2007
- Exploiting Pointer Analysis in Memory Models for Deductive Verification VMCAI 2019
- Scalability and precision by combining expressive type systems and deductive verification OOPSLA 2021
- STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems CAV 1996
- HaliVer: Deductive Verification and Scheduling Languages Join Forces TACAS 2024
- Scalable Deductive Verification of Data-Level Parallel Programs CAV 2026
- Modular Deductive Verification of Multiprocessor Hardware Designs CAV 2015
- An Automated Deductive Verification Framework for Circuit-building Quantum Programs ESOP 2021