Automated verification of an audio-control protocol using UPPAAL
From MaRDI portal
Publication:1858445
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
protocol verificationdesign tools and techniquesrequirements/specificationssoftware/programverification
Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)
Related Items
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
Cites Work