Automated Inductive Verification of Parameterized Protocols
Abstract elided by the publisher.
Related papers
- Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions POPL 2024
- QuickSilver: modeling and parameterized verification for distributed agreement-based systems OOPSLA 2021
- Verification of Parameterized Systems by Dynamic Induction on Diagrams CAV 1999
- Parameterized Verification with Automatically Computed Inductive Assertions CAV 2001
- Automatic Verification of Parameterized Cache Coherence Protocols CAV 2000
- Verification of Parameterized Bus Arbitration Protocol CAV 1998
- Easy Parameterized Verification of Biphase Mark and 8N1 Protocols TACAS 2006
- Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness VMCAI 2002