The Power of Temporal Proofs
暂无分享,去创建一个
[1] John P. Burgess,et al. Basic Tense Logic , 1984 .
[2] Martín Abadi,et al. Temporal-logic theorem proving , 1987 .
[3] Ildikó Sain,et al. The Reasoning Powers of Burstall's (Modal Logic) and Pnueli's (Temporal Logic) Program Verification Methods , 1985, Logic of Programs.
[4] István Németi,et al. Nonstandard Dynamic Logic , 1981, Logic of Programs.
[5] Zohar Manna,et al. How to cook a temporal proof system for your pet language , 1983, POPL '83.
[6] Z. Manna,et al. Verification of concurrent programs: a temporal proof system , 1983 .
[7] Brent Hailpern,et al. Modular Verification of Computer Communication Protocols , 1983, IEEE Trans. Commun..
[8] Amir Pnueli. The Temporal Semantics of Concurrent Programs , 1981, Theor. Comput. Sci..
[9] Jean H. Gallier,et al. Logic for Computer Science: Foundations of Automatic Theorem Proving , 1985 .
[10] Kurt Gödel,et al. On Formally Undecidable Propositions of Principia Mathematica and Related Systems , 1966 .
[11] James W. Garson,et al. Quantification in Modal Logic , 1984 .
[12] Leslie Lamport,et al. Proving Liveness Properties of Concurrent Programs , 1982, TOPL.
[13] Johan van Benthem,et al. The Logic of Time , 1983 .
[14] R. Solovay. Provability interpretations of modal logic , 1976 .
[15] Johan Anthory Willem Kamp,et al. Tense logic and the theory of linear order , 1968 .
[16] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .
[17] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .
[18] John P. Burgess,et al. Axioms for tense logic. I. "Since" and "until" , 1982, Notre Dame J. Formal Log..
[19] Martín Abadi,et al. A Timely Resolution , 1986, LICS.
[20] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .
[21] David Harel,et al. Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness , 1986, JACM.
[22] Zohar Manna,et al. Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs , 1984, Sci. Comput. Program..