Model-Checking for Probabilistic Real-Time Systems (Extended Abstract)
暂无分享,去创建一个
[1] Harry R. Lewis,et al. A logic of concrete time intervals , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
[2] Ward Whitt,et al. Continuity of Generalized Semi-Markov Processes , 1980, Math. Oper. Res..
[3] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[4] Mihalis Yannakakis,et al. Verifying temporal properties of finite-state probabilistic programs , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.
[5] E. Clarke,et al. Automatic Veriication of Nite-state Concurrent Systems Using Temporal-logic Speciications. Acm , 1993 .
[6] Thomas A. Henzinger,et al. A really temporal logic , 1989, 30th Annual Symposium on Foundations of Computer Science.
[7] Edmund M. Clarke,et al. Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons , 1982, Sci. Comput. Program..
[8] Moshe Y. Vardi. Automatic verification of probabilistic concurrent finite state programs , 1985, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).
[9] Patrice Godefroid,et al. Using Partial Orders to Improve Automatic Verification Methods , 1990, CAV.
[10] Patrice Godefroid. Using Partial Orders to Improve Automatic Verification Methods , 1990, CAV.
[11] G. S. Shedler,et al. Regeneration and Networks of Queues , 1986 .
[12] Bengt Jonsson,et al. A framework for reasoning about time and reliability , 1989, [1989] Proceedings. Real-Time Systems Symposium.
[13] Saharon Shelah,et al. Reasoning with Time and Chance , 1982, Inf. Control..
[14] Ron Koymans,et al. Specifying Message Passing and Time-Critical Systems with Temporal Logic , 1992, Lecture Notes in Computer Science.