Symbolic Model Checking for Real-time Systems (1992)

Cached

Download Links

by Thomas A. Henzinger , Xavier Nicollin , Joseph Sifakis , Sergio Yovine
Venue:Information and Computation
Citations:472 - 46 self

Documents Related by Co-Citation

1975 A theory of timed automata – Rajeev Alur - 1999
360 Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems – Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho - 1992
264 Automatic Symbolic Verification of Embedded Systems – Rajeev Alur , Thomas A. Henzinger , Pei-hsin Ho - 1996
146 From Timed to Hybrid Systems – Oded Maler, Zohar Manna, Amir Pnueli
82 Model checking in dense real time – R Alur, C Courcoubetis, D Dill - 1993
67 Integration Graphs: A Class of Decidable Hybrid Systems – Y. Kesten, A. Pnueli, J. Sifakis, S. Yovine - 1993
238 A Really Temporal Logic – Rajeev Alur, Thomas A. Henzinger - 1989
211 An Old-Fashioned Recipe for Real Time – Martín Abadi, Leslie Lamport - 1993
80 From ATP to Timed Graphs and Hybrid Systems – Xavier Nicollin , Joseph Sifakis, Sergio Yovine - 1993
219 A Fast Mutual Exclusion Algorithm – Leslie Lamport - 1986
77 An Approach to the Description and Analysis of Hybrid Systems – X. Nicollin, A. Olivero, J. Sifakis, S. Yovine
64 Decidability of Bisimulation Equivalences for Parallel Timer Processes – K ˘Cerāns - 1992
223 Timing assumptions and verification of finite-state concurrent systems – D L Dill - 1989
62 Minimum and maximum delay problems in real-time systems – C Courcoubetis, M Yannakakis - 1991
596 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
363 D: Model-checking for real-time systems – R Alur, C Courcoubetis, Dill
407 D.L.: Automata For Modeling Real-Time Systems – R Alur, Dill - 1990
202 The Benefits of Relaxing Punctuality – Rajeev Alur, Tomás Feder, Thomas A. Henzinger - 1996
1173 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986