Automated verification of an audio-control protocol using UPPAAL.
Johan BengtssonW. O. David GriffioenKåre J. KristoffersenKim Guldstrand LarsenFredrik LarssonPaul PetterssonWang YiPublished in: J. Log. Algebraic Methods Program. (2002)
Keyphrases
- automated verification
- model checking
- model checker
- formal verification
- temporal logic
- multimedia
- control method
- lightweight
- signal processing
- control system
- control strategy
- automated reasoning
- security protocols
- transport protocol
- floor control
- visual information
- logic programs
- audio features
- controller design
- timed automata
- data mining