Model Checking via Reachability Testing for Timed Automata (1997)

Cached

Download Links

by Augusto Burgueño , Kim G. Larsen , Luca Aceto , Luca Aceto
Citations:44 - 13 self

Active Bibliography

This document in subdirectoryRS/97/29/ Model Checking via Reachability Testing for Timed Automata – Luca Aceto, Augusto Burgueño, Kim G. Larsen, Luca Aceto, Augusto Burgueño, Kim G. Larsen - 909
2014 A theory of timed automata – Rajeev Alur - 1999
491 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
504 UPPAAL in a Nutshell – Kim G. Larsen, Paul Pettersson, Wang Yi - 1997
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
455 Alternating-time Temporal Logic – Rajeev Alur, Thomas Henzinger, Orna Kupferman - 1997
1273 The model checker SPIN – Gerard J. Holzmann - 1997
500 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991