Since 2014
UPPAAL in 1995
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
UPPAAL in 1995
|
|
| 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 of timed automata[12, 9, 4], developed during the past two years. In this paper, we summarizethe main features of UPPAAL in particular its various extensions developed in 1995as well as applications to various case-studies, review and provide pointers to thetheoretical foundation.
|
|
| Publisher |
Aarhus University
|
|
| Date |
1996-06-30
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/18772
10.7146/brics.v3i60.18772 |
|
| Source |
BRICS Report Series; No 60 (1996): RS-60 UPPAAL in 1995
BRICS Report Series; Nr. 60 (1996): RS-60 UPPAAL in 1995 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/18772/16419
|
|