UPPAAL in a Nutshell (1997)

Cached

Download Links

by Kim G. Larsen , Paul Pettersson , Wang Yi
Citations:538 - 43 self

Documents Related by Co-Citation

2014 A theory of timed automata – Rajeev Alur - 1999
607 The algorithmic analysis of hybrid systems – R. Alur, C. Courcoubetis, N. Halbwachs , T. A. Henzinger, P.-H. Ho, X. Nicollin , A. Olivero , J. Sifakis , S. Yovine - 1995
2170 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
2054 The Unified Modeling Language User Guide – G Booch, J Rumbaugh, I Jacobson - 1999
1273 The model checker SPIN – Gerard J. Holzmann - 1997
613 Construction of abstract state graphs with PVS – Susanne Graf, Hassen Saidi - 1997
578 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000
491 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996
482 Symbolic Model Checking for Real-time Systems – Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine - 1992