Timing Verification by Successive Approximation (1995)

Cached

Download Links

by R. Alur , A. Itai , R. P. Kurshan , M. Yannakakis
Venue:INFORMATION AND COMPUTATION
Citations:44 - 11 self

Documents Related by Co-Citation

1975 A theory of timed automata – Rajeev Alur - 1999
223 Timing assumptions and verification of finite-state concurrent systems – D L Dill - 1989
602 Counterexample-guided Abstraction Refinement – Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith - 2000
233 The Tool KRONOS – C. Daws, A. Olivero, S. Tripakis, S. Yovine - 1996
59 Timing Analysis of Asynchronous Circuits using Timed Automata – Oded Maler, Amir Pnueli - 1995
242 Modeling and verification of time dependent systems using time petri nets – B Berthomieu, M Diaz - 1991
472 Symbolic Model Checking for Real-time Systems – Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine - 1992
600 Construction of abstract state graphs with PVS – Susanne Graf, Hassen Saidi - 1997
491 UPPAAL in a Nutshell – Kim G. Larsen, Paul Pettersson, Wang Yi - 1997
567 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
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
102 HYTECH: The next generation – Thomas A. Henzinger, Pei-hsin Ho, Howard Wong-toi - 1995
264 Automatic Symbolic Verification of Embedded Systems – Rajeev Alur , Thomas A. Henzinger , Pei-hsin Ho - 1996
144 A user guide to HYTECH – Thomas A. Henzinger, Pei-hsin Ho, Howard Wong-toi - 1995
110 What Good Are Digital Clocks? – Thomas Henzinger, Zohar Manna, Amir Pnueli - 1992
178 D.L.: A theory of timed automata. Theoretical Computer Science 126 – R Alur, Dill - 1994
41 Timing Analysis in COSPAN – Rajeev Alur, Robert P. Kurshan - 1996
220 Bebop: A Symbolic Model Checker for Boolean Programs – Thomas Ball, Sriram K. Rajamani - 2000
449 Lazy Abstraction – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre - 2002