DMCA
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems (1996)
Cached
Download Links
- [www.docs.uu.se]
- [www.it.uu.se]
- [www.brics.dk]
- [www.brics.dk]
- DBLP
Other Repositories/Bibliography
| Citations: | 244 - 15 self |
BibTeX
@MISC{Bengtsson96uppaal-,
author = {Johan Bengtsson and Kim Larsen and Fredrik Larsson and Paul Pettersson and Wang Yi},
title = {UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems},
year = {1996}
}
Share
 |
 |
 |
 |
||
OpenURL
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.docs.uu.se/docs/rtmv/uppaal. 1 Introduction Uppaal is a new tool suite for automatic verification of safety and bounded liveness properties of networks of timed automata [13, 8, 6]. The tool was developed during the spring ...
Keyphrases
automatic verification real-time system timed automaton tool suite liveness property textual representation case verification diagnostic information graphical interface certain class particular real-time system automatic transformation se doc rtmv uppaal textual format diagnostic model-checking introduction uppaal model checker current version world wide web graphical representation uppaal home page http new tool suite linear hybrid system
