Automated verification of an audio-control protocol using UPPAAL
From MaRDI portal
Publication:1858445
DOI10.1016/S1567-8326(02)00036-XzbMath1008.68009MaRDI QIDQ1858445
Paul Pettersson, Wang Yi, Fredrik Larsson, Kim Guldstrand Larsen, Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen
Publication date: 13 February 2003
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
protocol verification; design tools and techniques; requirements/specifications; software/programverification
68Q60: Specification and verification (program logics, model checking, etc.)
68M12: Network protocols
Related Items
Testing timed automata, How to stop time stopping, Is your model checker on time? On the complexity of model checking for timed modal logics
Uses Software
Cites Work