Abstract
UPPAAL is a new tool suit for automatic verification of networks of timed automata. In this paper we describe the diagnostic model-checking feature of UPPAAL and illustrates its usefulness through the debugging of (a version of) the Philips Audio-Control Protocol. Together with a graphical interface of UPPAAL this diagnostic feature allows for a number of errors to be more easily detected and corrected.
Cite
CITATION STYLE
Larsen, K. G., Pettersson, P., & Yi, W. (1996). Diagnostic model-checking for real-time systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1066, pp. 575–586). Springer Verlag. https://doi.org/10.1007/BFb0020977
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
