@inproceedings{dd36a0c5ae624bd185a2829fa07f3064,
title = "Diagnostic model-checking for real-time systems",
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.",
author = "Larsen, \{Kim G.\} and Paul Pettersson and Wang Yi",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1996.; 5th DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, 1995 ; Conference date: 22-10-1995 Through 25-10-1995",
year = "1996",
doi = "10.1007/BFb0020977",
language = "英语",
isbn = "354061155X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "575--586",
editor = "Rajeev Alur and Henzinger, \{Thomas A.\} and Sontag, \{Eduardo D.\}",
booktitle = "Hybrid Systems III - Verification and Control",
address = "德国",
}