Since 2014
UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems
|
|
| Creator |
Bengtsson, Johan
Larsen, Kim G. Larsson, Fredrik Pettersson, Paul Yi, Wang |
|
| Description |
Uppaal is a tool suite for automatic verification of safety andbounded liveness properties of real-time systems modeled as networks oftimed automata. It includes: a graphical interface that supports graphicaland textual representations of networks of timed automata, and automatictransformation from graphical representations to textual format,a compiler that transforms a certain class of linear hybrid systems tonetworks of timed automata, and a model-checker which is implementedbased on constraint-solving techniques. Uppaal also supports diagnosticmodel-checking providing diagnostic information in case verification of aparticular real-time systems fails.The current version of Uppaal is available on the World Wide Web viathe Uppaal home page http://www.docs.uu.se/docs/rtmv/uppaal.
|
|
| Publisher |
Aarhus University
|
|
| Date |
1996-06-28
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/18769
10.7146/brics.v3i58.18769 |
|
| Source |
BRICS Report Series; No 58 (1996): RS-58 UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems
BRICS Report Series; Nr. 58 (1996): RS-58 UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/18769/16416
|
|