Automated verification of an audio-control protocol using UPPAAL

DOI10.1016/S1567-8326(02)00036-XzbMATH Open1008.68009OpenAlexW2012339561MaRDI QIDQ1858445FDOQ1858445

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

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

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)

Cites Work

• Uppaal in a nutshell
• Title not available (Why is that?)
• Symbolic model checking for real-time systems
• Title not available (Why is that?)
• Continuous modeling of real-time and hybrid systems: From concepts to tools
• Parametric real-time model checking using splitting trees

Cited In (6)

• Analysis of a biphase mark protocol with Uppaal and PVS
• Testing timed automata
• Title not available (Why is that?)
• Is your model checker on time? On the complexity of model checking for timed modal logics
• How to stop time stopping
• On regions and zones for event-clock automata

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)