Temporal verification by diagram transformations

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

Volumn 1102, Issue , 1996, Pages 288-299

  De Alfaro, Luca ^a   Manna, Zohar ^a  

^a Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; GRAPHIC METHODS; SPECIFICATIONS;

ALGORITHMIC METHODS; GRAPHICAL REPRESENTATIONS; LINEAR TIME TEMPORAL LOGIC; ORIGINAL SYSTEMS; TEMPORAL OPERATORS; TEMPORAL PROPERTY; TEMPORAL VERIFICATION; VERIFICATION OF TEMPORAL PROPERTIES;

TEMPORAL LOGIC;

EID: 33746886271     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61474-5_77     Document Type: Conference Paper

References (12)

1. I.A. Browne, Z. Manna, and H.B. Sipma. Generalized verification diagrams. In Found. of Software Technology and Theoretical Comp. Sci., volume 1026 of Lect. Notes in Comp. Sci., pages 484-498. Springer-Verlag, 1995.
2. L. de Alfaro and Z. Manna. Temporal verification by diagram transformations. Technical report, Stanford University, 1996.
3. O. Grumberg and D.E. Long. Model checking and modular verification. ACM Trans. Prog. Lang. Sys., 16(3):843-871, May 1994.
4. Y. Kesten, Z. Manna, and A. Pnueli. Temporal verification of simulation and refinement. In Proc. of the REX Workshop “A Decade of Concurrency”, volume 803 of Lect. Notes in Comp. Sci., pages 273-346. Springer-Verlag, 1994.
5. L. Lamport. The temporal logic of actions: ACM Trans. Prog. Lang. Sys., 16(3):872-923, May 1994.
6. O. Lichtenstein and A. Pnueli. Checking that finite state concurrent programs satisfy their linear specifications. In Proc. 12th A CM Syrup. Princ. of Prog. Lang., pages 97-107, 1985.
7. Z. Manna and A. Pnueli. Completing the temporal picture. Theor. Comp. Sci., 83(1):97-130, 1991.
8. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1991.
9. Z. Manna and A. Pnueli. Models for reactivity. Acta Informatica, 30:609-678, 1993.
10. Z. Manna and A. Pnueli. Temporal verification diagrams. In TACS 93, Lect. Notes in Comp. Sci. Springer-Vertag, 1994.
11. S. Safra. On the complexity of w-automata. In Proc. 29th IEEE Syrup. Found. of Comp. Sci., 1988.
12. S. Safra and M.Y. Vardi. On w-automata and temporal logic. In Proc. 21th ACM Syrup. Theory of Comp., pages 127-137, 1989.