Diagnostic Model Checking for Real-Time Systems
- 27 June 1996
- journal article
- Published by Det Kgl. Bibliotek/Royal Danish Library in BRICS Report Series
- Vol. 3 (57)
- https://doi.org/10.7146/brics.v3i57.18682
Abstract
Uppaal is a new tool suit for automatic verification of networks oftimed automata. In this paper we describe the diagnostic model-checking featureof Uppaal and illustrates its usefulness through the debugging of (a versionof) the Philips Audio-Control Protocol. Together with a graphical interface ofUppaal this diagnostic feature allows for a number of errors to be more easilydetected and corrected.Keywords
This publication has 0 references indexed in Scilit: