Automated Analysis of an Audio Control Protocol
No abstract available.
Related papers
- Verification of an Audio Protocol with Bus Collision Using UPPAAL CAV 1996
- Design/CPN - A Computer Tool for Coloured Petri Nets TACAS 1997
- ParDiff: Practical Static Differential Analysis of Network Protocol Parsers OOPSLA 2024
- Automated Analysis of AODV Using UPPAAL TACAS 2012
- Lifestate: Event-Driven Protocols and Callback Control Flow ECOOP 2019
- Model Checking Indistinguishability of Randomized Security Protocols CAV 2018
- Protocol Design for an Automated Highway System (Abstract) CAV 1993
- Automated Unbounded Verification of Security Protocols CAV 2002