Easy Parameterized Verification of Biphase Mark and 8N1 Protocols
No abstract available.
Related papers
- Roll your own test bed for embedded real-time protocols: a haskell experience Haskell 2009
- Automatic Verification of Parameterized Cache Coherence Protocols CAV 2000
- Automated Inductive Verification of Parameterized Protocols CAV 2001
- Verification of Parameterized Bus Arbitration Protocol CAV 1998
- 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
- Mechanizing the CMP Abstraction for Parameterized Verification OOPSLA 2024