Automatic Verification of Parameterized Data Structures
Abstract elided by the publisher.
Related papers
- Automatic Verification of Parameterized Cache Coherence Protocols CAV 2000
- Automatic Verification of Parameterized Synchronous Systems (Extended Abstract) CAV 1996
- Parameterized Verification with Automatically Computed Inductive Assertions CAV 2001
- Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) CAV 2019
- Automatic Verification of Parameterized Linear Networks of Processes POPL 1997
- Structural Invariants for the Verification of Systems with Parameterized Architectures TACAS 2020
- Automated Parameterized Verification of a Railway Protection System with Dafny CAV 2025
- Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks CAV 2025