Implicates and reduction techniques for temporal logics
暂无分享,去创建一个
[1] Mihalis Yannakakis,et al. The complexity of probabilistic verification , 1995, JACM.
[2] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.
[3] Pierre Wolper,et al. The tableau method for temporal logic: an overview , 1985 .
[4] Manuel Ojeda-Aciego,et al. Increasing the efficiency of automated theorem proving , 1995, J. Appl. Non Class. Logics.
[5] Zohar Manna,et al. Temporal verification of reactive systems - safety , 1995 .
[6] Zohar Manna,et al. Temporal Verification of Reactive Systems , 1995, Springer New York.
[7] Rachel Ben-Eliyahu-Zohary,et al. A Temporal Logic for Proving Properties of Topologically General Executions , 1996, Inf. Comput..
[8] A. Prasad Sistla,et al. The complexity of propositional linear temporal logics , 1982, STOC '82.
[9] Orna Grumberg,et al. Verification of Temporal Properties , 1993, J. Log. Comput..