Verification of Parameterized Bus Arbitration Protocol
No abstract available.
Related papers
- Verification of an Audio Protocol with Bus Collision Using UPPAAL CAV 1996
- ACS: Automatic Converter Synthesis for SoC Bus Protocols TACAS 2010
- Automatic Verification of Parameterized Cache Coherence Protocols CAV 2000
- Automated Inductive Verification of Parameterized Protocols CAV 2001
- Easy Parameterized Verification of Biphase Mark and 8N1 Protocols TACAS 2006
- Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness VMCAI 2002
- Parameterized Verification of Systems with Global Synchronization and Guards CAV 2020
- QuickSilver: modeling and parameterized verification for distributed agreement-based systems OOPSLA 2021