CTL and equivalent sublanguages of CTL
暂无分享,去创建一个
[1] Amir Pnueli,et al. The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[2] Leslie Lamport,et al. "Sometime" is sometimes "not never": on the temporal logic of programs , 1980, POPL '80.
[3] A. Prasad Sistla,et al. The complexity of propositional linear temporal logics , 1982, STOC '82.
[4] Joseph Y. Halpern,et al. Decision procedures and expressiveness in the temporal logic of branching time , 1982, STOC '82.
[5] Chin-Laung Lei,et al. Modalities for model checking (extended abstract): branching time strikes back , 1985, POPL.
[6] Amir Pnueli,et al. Checking that finite state concurrent programs satisfy their linear specification , 1985, POPL.
[7] Edmund M. Clarke,et al. Automatic Verification of Sequential Circuits Using Temporal Logic , 1986, IEEE Transactions on Computers.
[8] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[9] Edmund M. Clarke,et al. Automatic verification of asynchronous circuits using temporal logic , 1986 .
[10] Chin-Laung Lei,et al. Temporal Reasoning Under Generalized Fairness Constraints , 1986, STACS.
[11] Joseph Y. Halpern,et al. “Sometimes” and “not never” revisited: on branching versus linear time temporal logic , 1986, JACM.
[12] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[13] Pierre Wolper,et al. On the Relation of Programs and Computations to Models of Temporal Logic , 1987, Temporal Logic in Specification.
[14] Amir Pnueli,et al. Temporal Logic in Specification , 1987, Lecture Notes in Computer Science.
[15] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[16] J. Van Leeuwen,et al. Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .
[17] Gjalt G. de Jong. An Automata Theoretic Approach to Temporal Logic , 1991, CAV.
[18] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[19] R. BurchJ.,et al. Symbolic model checking , 1992 .
[20] Somesh Jha,et al. Verification of the Futurebus+ cache coherence protocol , 1993, Formal Methods Syst. Des..
[21] Steven D. Johnson,et al. Studies of the Single Pulser in Various Reasoning Systems , 1994, TPCD.
[22] Sérgio Vale Aguiar Campos,et al. Symbolic Model Checking , 1993, CAV.
[23] Edmund M. Clarke,et al. Another Look at LTL Model Checking , 1994, Formal Methods Syst. Des..