Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 -
2 of
2
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
, 1996
"... . 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 ..."
Abstract
-
Cited by 244 (15 self)
- Add to MetaCart
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
UPPAAL - a Tool Suite for Symbolic and Compositional Verification of Real-Time Systems
- In Proc. of the 1st Workshop on Tools and Algorithms for the Construction and Analysis of Systems
, 1995
"... this document was written, we are in progress of modifying the description of the audio protocol presented in [6]. 4 Availability A full release should be available after summer 1995. A fi--release may be obtainable during June 1995 by contacting one of the authors (e.g. paupet@docs.uu.se). 5 ..."
Abstract
-
Cited by 4 (4 self)
- Add to MetaCart
this document was written, we are in progress of modifying the description of the audio protocol presented in [6]. 4 Availability A full release should be available after summer 1995. A fi--release may be obtainable during June 1995 by contacting one of the authors (e.g. paupet@docs.uu.se). 5
