A Tutorial on Uppaal
Top Cited Papers
- 1 January 2004
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 33 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- Adding Symmetry Reduction to UppaalPublished by Springer Nature ,2004
- The power of reachability testing for timed automataTheoretical Computer Science, 2003
- A Tool Architecture for the Next Generation of UppaalPublished by Springer Nature ,2003
- TIMES b— A Tool for Modelling and Implementation of Embedded SystemsPublished by Springer Nature ,2002
- UPPAAL - Now, Next, and FuturePublished by Springer Nature ,2001
- Distributing Timed Model Checking — How the Search Order MattersPublished by Springer Nature ,2000
- Model checking via reachability testing for timed automataPublished by Springer Nature ,1998
- The bounded retransmission protocol must be on time!Published by Springer Nature ,1997
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994