Parameterized Verification with Automatically Computed Inductive Assertions
No abstract available.
Related papers
- Automated Inductive Verification of Parameterized Protocols CAV 2001
- Verification of Parameterized Systems by Dynamic Induction on Diagrams CAV 1999
- Complete Local Reasoning About Parameterized Programs Over Topologies CAV 2026
- Synthesizing software verifiers from proof rules PLDI 2012
- Automatic Verification of Parameterized Linear Networks of Processes POPL 1997
- Automatic cyclic termination proofs for recursive procedures in separation logic CPP 2017
- Implementation of an Array Bound Checker POPL 1977
- Inferring Inductive Invariants from Phase Structures CAV 2019