Verification of an Audio Protocol with Bus Collision Using UPPAAL
No abstract available.
Related papers
- Verification of Parameterized Bus Arbitration Protocol CAV 1998
- Analysis and Verification of Quantum Communication Protocols in UPPAAL CAV 2026
- Automated Analysis of an Audio Control Protocol CAV 1995
- Automated Analysis of AODV Using UPPAAL TACAS 2012
- Model Checking via Reachability Testing for Timed Automata TACAS 1998
- ACS: Automatic Converter Synthesis for SoC Bus Protocols TACAS 2010
- Design/CPN - A Computer Tool for Coloured Petri Nets TACAS 1997
- Vooduu: Verification of Object-Oriented Designs Using UPPAAL TACAS 2004