Verification of an Audio Protocol with Bus Collision Using UPPAAL.
Johan BengtssonW. O. David GriffioenKåre J. KristoffersenKim Guldstrand LarsenFredrik LarssonPaul PetterssonWang YiPublished in: CAV (1996)
Keyphrases
- model checker
- model checking
- formal verification
- formal methods
- temporal logic
- description language
- cryptographic protocols
- formal specification
- multimedia
- test suite
- protocol specification
- collision detection
- formal analysis
- set theory
- verification method
- visual information
- audio video
- signal processing
- high speed
- visual data
- collision avoidance
- multimedia information
- timed automata
- audio stream
- audio signals
- real time
- lightweight
- audio recordings
- formal proof
- database systems