UPPAAL in a Nutshell

UPPAAL in a Nutshell (1997)

Cached

Download Links

[www.docs.uu.se]
[www.it.uu.se]

Other Repositories/Bibliography

DBLP

by Kim G. Larsen , Paul Pettersson , Wang Yi

Citations:

416 - 38 self

Versions

Version History

Metadata Version 2

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	UPPAAL in a Nutshell	user correction - Legacy Corrections
AUTHOR NAME	Kim G. Larsen	user correction - Legacy Corrections
AUTHOR AFFIL	1	user correction - Legacy Corrections
AUTHOR NAME	Paul Pettersson	user correction - Legacy Corrections
AUTHOR AFFIL	2	user correction - Legacy Corrections
AUTHOR NAME	Wang Yi	user correction - Legacy Corrections
AUTHOR AFFIL	; 2; Department of Computer Science and Mathematics, Aalborg University, Denmark.; Department of Computer Systems, Uppsala University, Sweden.	user correction - Legacy Corrections
ABSTRACT	. This paper presents the overall structure, the design criteria, and the main features of the tool box Uppaal. It gives a detailed user guide which describes how to use the various tools of Uppaal version 2.02 to construct abstract models of a real-time system, to simulate its dynamical behavior, to specify and verify its safety and bounded liveness properties in terms of its model. In addition, the paper also provides a short review on case-studies where Uppaal is applied, as well as references to its theoretical foundation. 1 Introduction Uppaal is a tool box for modeling, simulation and verification of real-time systems, based on constraint--solving and on-the-fly techniques, developed jointly by Uppsala University and Aalborg University. It is appropriate for systems that can be modeled as a collection of nondeterministic processes with finite control structure and real-valued clocks, communicating through channels and (or) shared variables [34, 26]. Typical application areas in...	user correction - Legacy Corrections
YEAR	1997	user correction - Legacy Corrections
CITATIONS	8 found	ParsCit 1.0