| Alternate document: Details UPPAAL a Tool Suite for Validation and Verification of Real-Time Systems (96) Johan Bengtsson, Fredrik Larsson, Paul Pettersson, |
| Alternate document: Details UPPAAL in 1995 (96) Johan Bengtsson, et al. |
Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi  Home/Search
Context Related
| docs.uu.se/docs/rt...lpwdimacs95.ps.gz docs.uu.se/docs/rt...lpw:dimacs95.ps.gz brics.dk/RS/96/Ref...ICSRS9658.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: docs.uu.se/~paupet/PaulBody (more) From: docs.uu.se/docs/rtmv/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Cited by: More
Knowledge, State, Event and Time in System Modeling -.. - Dong, Duke, Sun (2006) (Correct)
Timed Patterns: TCOZ to Timed Automata - Jin Song Dong (Correct)
Integrating Object-Z with Timed Automata - Dong Duke National (Correct)
Similar documents (at the sentence level): More
56.4%: UPPAAL - a Tool Suite for Validation and.. - Bengtsson.. (1996) (Correct)
16.5%: Compositional Verification of Concurrent Systems - Kristoffersen (1998) (Correct)
9.8%: UPPAAL in a Nutshell - Larsen, Pettersson, Yi (1997) (Correct)
Similar documents based on text: More All
0.6: UPPAAL in 1995 - Larsen, Larsson, Pettersson, Yi (Correct)
0.6: Automated Analysis of an Audio Control Protocol Using.. - Bengtsson, Griffioen.. (2002) (Correct)
0.6: New Generation of UPPAAL - Bengtsson, Larsen, Larsson.. (1998) (Correct)
Related documents from co-citation: More All
40: The tool KRONOS - Daws, Olivero et al. - 1996
32: Theoretical Computer Science (context) - Alur, Dill et al. - 1994
28: A user guide to HyTech - Henzinger, Ho et al. - 1995
BibTeX entry: (Update)
J. Bengtsson, K.G. Larsen, F. Larsson, P. Pettersson, and W. Yi. UPPAAL- a tool suite for the automatic verification of real-time systems. In Proceedings of Hybrid Systems III. LNCS 1066.pages 232-243. Spriger Verlag. 1996. http://citeseer.ist.psu.edu/bengtsson96uppaal.html More
@inproceedings{ bengtsson95uppaal,
author = "Johan Bengtsson and Kim Guldstrand Larsen and Fredrik Larsson and Paul Pettersson and Wang Yi",
title = "{UPPAAL} - a Tool Suite for Automatic Verification of Real-Time Systems",
booktitle = "Hybrid Systems",
pages = "232-243",
year = "1995",
url = "citeseer.ist.psu.edu/bengtsson96uppaal.html" }
Citations (may not include all citations):
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.docs.uu.se/~paupet/PaulBody.html): More
A Compositional Proof of a Real-Time Mutual Exclusion.. - Kristoffersen.. (1997) (Correct)
UPPAAL - Validation and Verification of Real Time Systems .. - Larsen, Pettersson, Yi (Correct)
Efficient Verification of Real-Time Systems.. - Kim G. Larsen.. (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC