Two examples of verification of multirate timed automata with Kronos (1995)

Cached

Download Links

by C. Daws , S. Yovine
Venue:In Proc. 1995 IEEE Real-Time Systems Symposium, RTSS'95
Citations:58 - 12 self

Documents Related by Co-Citation

1975 A theory of timed automata – Rajeev Alur - 1999
472 Symbolic Model Checking for Real-time Systems – Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine - 1992
233 The Tool KRONOS – C. Daws, A. Olivero, S. Tripakis, S. Yovine - 1996
48 Verifying ET-LOTOS programs with KRONOS – C. Daws, A. Olivero, S. Yovine - 1994
144 A user guide to HYTECH – Thomas A. Henzinger, Pei-hsin Ho, Howard Wong-toi - 1995
49 Verification of an Audio Control Protocol – Doeko Bosscher, Indra Polak, Frits Vaandrager - 1994
45 Automated Analysis of an Audio Control Protocol – Pei-Hsin Ho, Howard Wong-toi - 1995
363 D: Model-checking for real-time systems – R Alur, C Courcoubetis, Dill
25 Analysis of Timed Systems Based on Time-Abstracting Bisimulations – S. Tripakis, S. Yovine - 1996
82 Model checking in dense real time – R Alur, C Courcoubetis, D Dill - 1993
502 Symbolic Model Checking: An Approach to the State-Explosion Problem – K L McMillan - 1993
251 Model-Checking in Dense Real-time – Rajeev Alur, Costas Courcoubetis, David Dill - 1993
21 Hardware timing verification using KRONOS – Oded Maler, Sergio Yovine - 1996
59 An Implementation of Three Algorithms for Timing Verification Based on Automata Emptiness – R. Alur, C. Courcoubetis, D. Dill, N. Halbwachs, H. Wong-Toi - 1992
102 HYTECH: The next generation – Thomas A. Henzinger, Pei-hsin Ho, Howard Wong-toi - 1995
266 What's Decidable about Hybrid Automata? – Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya - 1995
491 UPPAAL in a Nutshell – Kim G. Larsen, Paul Pettersson, Wang Yi - 1997
407 D.L.: Automata For Modeling Real-Time Systems – R Alur, Dill - 1990
79 Verification of Linear Hybrid Systems By Means of Convex Approximations – Nicolas Halbwachs, Pascal Raymond, Yann-eric Proy - 1994