Deductive Verification in Decidable Fragments with Ivy
Abstract elided by the publisher.
Related papers
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms CAV 2020
- Ivy: safety verification by interactive generalization PLDI 2016
- Modularity for decidability of deductive verification with applications to distributed systems PLDI 2018
- An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification POPL 2024
- Paxos made EPR: decidable reasoning about distributed protocols OOPSLA 2017
- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification ESOP 2018
- Scalability and precision by combining expressive type systems and deductive verification OOPSLA 2021
- TACO: A Toolsuite for the Verification of Threshold Automata CAV 2026