Deductive Model Checking
No abstract available.
Related papers
- Combining Model Checking and Deduction for I/O-Automata TACAS 1995
- Caesar: A Deductive Verifier for Probabilistic Programs CAV 2026
- Probabilistic CTL*: The Deductive Way TACAS 2016
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms CAV 2020
- An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification POPL 2024
- A Deductive System for Contract Satisfaction Proofs PLDI 2026
- Deductive Verification of Parameterized Embedded Systems Modeled in SystemC VMCAI 2024
- Automated Verification of Parallel Nested DFS TACAS 2020