@inproceedings{518c28cc1681408baaf5633b1fe09e77,
title = "UPPAAL-a tool suite for automatic verification of real-time systems",
abstract = "UPPAAL is a tool suite for automatic verification of safety and bounded liveness properties of real-time systems modeled as networks of timed automata. It includes: a graphical interface that supports graphical and textual representations of networks of timed automata, and automatic transformation from graphical representations to textual format, a compiler that transforms a certain class of linear hybrid systems to networks of timed automata, and a model-checker which is implemented based on constraint-solving techniques. UPPAAL also supports diagnostic model-checking providing diagnostic information in case verification of a particular real-time systems fails. The current version of UPPAAL is available on the World Wide Web via the UPPAAL home page http://www.does. uu. se/docs/rtmv/uppaal.",
author = "Johan Bengtsson and Kim Larsen and Fredrik Larsson 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/BFb0020949",
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 = "232--243",
editor = "Rajeev Alur and Henzinger, \{Thomas A.\} and Sontag, \{Eduardo D.\}",
booktitle = "Hybrid Systems III - Verification and Control",
address = "德国",
}