Automated verification of an audio-control protocol using UPPAAL

DOI10.1016/S1567-8326(02)00036-XzbMath1008.68009OpenAlexW2012339561MaRDI QIDQ1858445

Johan Bengtsson, Paul Pettersson, Kåre J. Kristoffersen, W. O. David Griffioen, Wang Yi, Fredrik Larsson, Kim Guldstrand Larsen

Publication date: 13 February 2003

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1567-8326(02)00036-x

zbMATH Keywords

protocol verificationdesign tools and techniquesrequirements/specificationssoftware/programverification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)

Related Items (4)

How to stop time stopping ⋮ On regions and zones for event-clock automata ⋮ Testing timed automata ⋮ Is your model checker on time? On the complexity of model checking for timed modal logics

Uses Software

• Coq
• Kronos
• HyTech
• Uppaal

Cites Work

• Symbolic model checking for real-time systems
• Continuous modeling of real-time and hybrid systems: From concepts to tools
• Uppaal in a nutshell
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automated verification of an audio-control protocol using UPPAAL