Automating Deductive Verification for Weak-Memory Programs
No abstract available.
Related papers
- Verifying C11-style weak memory libraries PPoPP 2021
- The Invariant Checker: Automated Deductive Verification of Reactive Systems CAV 1997
- Modularity for decidability of deductive verification with applications to distributed systems PLDI 2018
- An Automated Deductive Verification Framework for Circuit-building Quantum Programs ESOP 2021
- Automate where Automation Fails: Proof Strategies for Frama-C/WP TACAS 2024
- Cameleer: A Deductive Verification Tool for OCaml CAV 2021
- Hypra: A Deductive Program Verifier for Hyper Hoare Logic OOPSLA 2024
- Exploiting Pointer Analysis in Memory Models for Deductive Verification VMCAI 2019