State Clock Logic: A Decidable Real-Time Logic
暂无分享,去创建一个
[1] Pierre Wolper,et al. The tableau method for temporal logic: an overview , 1985 .
[2] Nancy A. Lynch,et al. The generalized railroad crossing: a case study in formal verification of real-time systems , 1994, 1994 Proceedings Real-Time Systems Symposium.
[3] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.
[4] Zohar Manna,et al. Temporal verification of reactive systems - safety , 1995 .
[5] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[6] Nicolas Halbwachs,et al. Verification of Linear Hybrid Systems by Means of Convex Approximations , 1994, SAS.
[7] Zohar Manna,et al. Temporal Verification of Reactive Systems , 1995, Springer New York.
[8] Thomas A. Henzinger,et al. Real-Time Logics: Complexity and Expressiveness , 1993, Inf. Comput..
[9] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[10] T. Henzinger. The Beneets of Relaxing Punctuality , 1996 .
[11] Thomas A. Henzinger,et al. A really temporal logic , 1994, JACM.
[12] Dennis Dams,et al. Abstract interpretation and partition refinement for model checking , 1996 .
[13] Ahmed Bouajjani,et al. Temporal Logic + Timed Automata: Expressiveness and Decidability , 1995, CONCUR.
[14] Rajeev Alur,et al. Model-Checking in Dense Real-time , 1993, Inf. Comput..
[15] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[16] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[17] Pierre Wolper,et al. Simple on-the-fly automatic verification of linear temporal logic , 1995, PSTV.
[18] Thomas A. Henzinger,et al. A Determinizable Class of Timed Automata , 1994, CAV.
[19] Colin Stirling,et al. Comparing Linear and Branching Time Temporal Logics , 1987, Temporal Logic in Specification.
[20] Thomas A. Henzinger,et al. Logics and Models of Real Time: A Survey , 1991, REX Workshop.
[21] R. Alur. Techniques for automatic verification of real-time systems , 1991 .
[22] Thomas A. Henzinger,et al. The benefits of relaxing punctuality , 1991, PODC '91.
[23] Ron Koymans,et al. Specifying Message Passing and Time-Critical Systems with Temporal Logic , 1992, Lecture Notes in Computer Science.