Verification of Parameterized Systems by Dynamic Induction on Diagrams
No abstract available.
Related papers
- Automated Inductive Verification of Parameterized Protocols CAV 2001
- Parameterized Verification with Automatically Computed Inductive Assertions CAV 2001
- Weakly Acyclic Diagrams: A Data Structure for Infinite-State Symbolic Verification TACAS 2025
- Inductive Diagrams for Causal Reasoning OOPSLA 2024
- Hardware Verification using Monadic Second-Order Logic CAV 1995
- Complete Local Reasoning About Parameterized Programs Over Topologies CAV 2026
- Formal verification of a distributed dynamic reconfiguration protocol CPP 2022
- Compositional Analysis for Verification of Parameterized Systems TACAS 2003