The Why/Krakatoa/Caduceus Platform for Deductive Program Verification
Abstract elided by the publisher.
Related papers
- A Platform for Combining Deductive with Algorithmic Verification CAV 1996
- Exploiting Pointer Analysis in Memory Models for Deductive Verification VMCAI 2019
- The Invariant Checker: Automated Deductive Verification of Reactive Systems CAV 1997
- Deductive Verification in Decidable Fragments with Ivy SAS 2018
- Automating Deductive Verification for Weak-Memory Programs TACAS 2018
- Automatic Deductive Verification with Invisible Invariants TACAS 2001
- HeapBuffers: Why Not Just Using a Binary Serialization Format for Your Managed Memory? OOPSLA 2025
- Deductive Verification of Advanced Out-of-Order Microprocessors CAV 2003