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, Fredrik Larsson, Paul Pettersson, Wang Yi, Kim G. 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)

Recommendations

• Automatic verification of a lip-synchronisation protocol using UPPAAL
• scientific article; zbMATH DE number 1746447
• scientific article; zbMATH DE number 1069484
• Uppaal in a nutshell
• scientific article; zbMATH DE number 1696448

Cites work

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

Cited in

(6)

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

Describes a project that uses

Uses Software

• Coq
• Kronos
• HyTech
• 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)