State Minimization for Concurrent System Analysis Based on State Space Exploration (1994)

Cached

Download Links

by Inhye Kang , Insup Lee
Venue:In Proceedings of Conference on Computer Assurance
Citations:12 - 8 self

Documents Related by Co-Citation

360 Model-checking for realtime systems – Rajeev Alur, Costas Courcoubetis, David Dill - 1990
77 Minimization of Timed Transition Systems – Rajeev Alur, Costas Courcoubetis, N. Halbwachs, D. Dill, H. Wong-toi - 1992
76 Compiling Real-Time Specifications into Extended Automata – Xavier Nicollin, Joseph Sifakis, Sergio Yovine - 1992
36 An efficient algorithm for minimizing real-time transition systems. Formal Methods in System Design, 11(2):113–136 – M Yannakakis, D Lee - 1997
3204 Communication and Concurrency – R Milner - 1989
57 An Implementation of Three Algorithms for Timing Verification Based on Automata Emptiness – R. Alur, C. Courcoubetis, D. Dill, N. Halbwachs, H. Wong-Toi - 1992
58 Two examples of verification of multirate timed automata with Kronos – C. Daws, S. Yovine - 1995
143 A user guide to HYTECH – Thomas A. Henzinger, Pei-hsin Ho, Howard Wong-toi - 1995
470 Symbolic Model Checking for Real-time Systems – Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine - 1992
36 VERSA: A Tool for the Specification and Analysis of Resource-Bound Real-Time Systems – Duncan Clarke, Insup Lee, Hong-liang Xie - 1995
6 An Automatic Verification Technique for Communicating Real-Time State Machines – Sitaram C. V. Raju - 1993
44 A benchmark for comparing different approaches for specifying and verifying real-time systems – C. L. Heitmeyer, B. G. Labaw, R. D. Jeffords - 1993
52 Communicating Real-Time State Machines – A Shaw - 1992
40 Deciding Properties of Timed Transitions Models – J S Ostroff - 1990
49 A Method for Verifying Properties of Modechart Specifications – Farnam Jahanian, Douglas A. Stuart - 1988
20 An efficient state space generation for the analysis of real-time systems – Inhye Kang, Insup Lee, Young-si Kim, Inhye Kang, Insup Lee, Senior Member, Young-si Kim - 1996
48 Verifying ET-LOTOS programs with KRONOS – C. Daws, A. Olivero, S. Yovine - 1994
83 Model-Checking for Real-Time Systems – Kim G. Larsen, Paul Pettersson, Wang Yi - 1995
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