A tableau system for linear-time temporal logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1217, Issue , 1997, Pages 130-144

  Schmitt, Peter H ^a   Goubault Larrecq, Jean ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LOGIC; RECONFIGURABLE HARDWARE;

LINEAR TIME; LINEAR TIME TEMPORAL LOGIC; PROPOSITIONAL LOGIC; TABLEAU SYSTEMS; TEMPORAL OPERATORS;

TEMPORAL LOGIC;

EID: 84958776407     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0035385     Document Type: Conference Paper

References (13)

1. G. Ausiello, G. F. Italiano, A. Marchetti Spaccamela, and U. Nanni. Incrementai algorithms for minimal length paths. In Proc. 1st ACM-SIAM Symposium on Discrete Algorithms, pages 12-21, 1990.
2. N. Bjorner, A. Browne, E. Chang, M. Colón, A. Kapur, Z. Manna, H. Sipma, and T. Uribe. STeP: Deductive-algorithmic verification of reactive and real-time systems. In Proc. 8th CAV Conference, 1996.
3. R. Bellman. On a routing problem. Quarterly of Applied Mathematics, 16(1):87-90, 1958.
4. C. -L. Chang and R. C. -T. Lee. Symbolic Logic and Mechanical Theorem Proving. Computer Science Classics. Academic Press, 1973.
5. C. Fermüller, A. Leitsch, T Tammet, and N. Zamov. Resolution Methods for the Decision Problem, volume 679 of LNCS. Springer-Verlag, 1993.
6. R. Hàhnle and O. Ibens. Improving temporal logic tableaux using integer constraints. In Proc. Int. Conf. on Temporal Logic, Bonn, volume 827 of LNCS, pages 535 - 539. Springer Verlag, 1994.
7. Z. Manna, A. Anuchitanukul, N. Bj0rner, A. Browne, E. Chang, M. Colón, L. De Alfaro, H. Devarajan, H. Sipma, and T. Uribe. STeP: The Stanford Temporal Prover. CS-report, Computer Science Dept., Stanford, 1994.
8. J. A. McHugh. Algorithmic Graph Theory. Prentice-Hall Intn., 1990.
9. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1991.
10. Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, 1995.
11. V. R. Pratt. Two easy theories whose combination is hard. Technical report, M. I. T., September 1977.
12. A. P. Sistla and E. M. Clarke. The complexity of propositional ünear temporal logics. J. ACM, 32(3):733-749, July 1985.
13. P. Wolper. The tableau method for temporal logic: An overview. Logique et Analyse, 28e annee, 110-111:119-136, 1985.