Automated verification of an audio-control protocol using UPPAAL

DOI10.1016/S1567-8326(02)00036-XMaRDI QIDQ1858445zbMATH OpenOpenAlexFDO

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

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

design tools and techniquesprotocol verificationrequirements/specificationssoftware/programverification

Mathematics Subject Classification ID

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

Recommendations

• Automatic verification of a lip-synchronisation protocol using UPPAAL
• UPPAAL -- now, next, and future
• scientific article; zbMATH DE number 1069484
• Uppaal in a nutshell
• Verification of timed and hybrid systems

Cites work

• Automata for modeling real-time systems
• Continuous modeling of real-time and hybrid systems: From concepts to tools
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• Parametric real-time model checking using splitting trees
• Symbolic model checking for real-time systems
• Uppaal in a nutshell

Cited in

(8)

• Automatic verification of a lip-synchronisation protocol using UPPAAL
• Is your model checker on time? On the complexity of model checking for timed modal logics
• scientific article; zbMATH DE number 1069484 (Why is no real title available?)
• Verification of plan models using UPPAAL
• On regions and zones for event-clock automata
• Testing timed automata
• How to stop time stopping
• Analysis of a biphase mark protocol with Uppaal and PVS

Describes a project that uses

Uses Software

• Coq
• HyTech
• Kronos
• Uppaal

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1858445)