Temporal proof met homologies for real-Time systems

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1991, Pages 353-366

  Henzinger, Thomas A ^a   Manna, Zohar ^a,b   Pnueli, Amir ^b  

^a STANFORD UNIVERSITY   (United States)

^b WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; INTERACTIVE COMPUTER SYSTEMS; SPECIFICATION LANGUAGES; SPECIFICATIONS;

ABSTRACT NOTIONS; COMPUTATIONAL MODEL; CONSERVATIVE EXTENSIONS; REAL TIME REQUIREMENT; REAL-TIME PROPERTIES; TEMPORAL OPERATORS; TRANSITION SYSTEM; VERIFICATION FRAMEWORK;

REAL TIME SYSTEMS;

EID: 84882765517     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/99583.99629     Document Type: Conference Paper

References (14)

1. R. Alur, T.A. Henzinger, "Real-Time logics: complexity and expressiveness, " 5th IEEE LICS, 1990.
2. E.A. Emerson, A.K. Mok, A.P. Sistla, J. Srinivasan, "Quantitative temporal reasoning, " Automatic Verification of Finite-state Systems (J. Sifakis, ed.), Springer LNCS 407, 1989.
3. E. Harel, Temporal Analysis of Real-Time Systems, M.S. Thesis, Weizmalln Institute, 1988.
4. T.A. Henzinger, Z. Manna, A. Pnueli, "An interleaving model for real time, " 5th Jerusalem Conf. on Information Technology, 1990.
5. T, A. Henzinger, Z. Manna, A. Pnueli, Temporal Proof Methodologies for Real-Time Systems, Technical Report, Stanford University, 1991.
6. R. Koymans, Specifying Message Passing and Time-critical Systems with Temporal Logic, Ph.D. Thesis, Eindhoven Univ. of Tech., 1989.
7. R. Koymans, J. Vytopil, W.-P. de Roever, "Real-Time programming and asynchronous message passing, " 2nd ACM PODC, 1983.
8. Z. Manna, A. Pnueli, "The anchored version of the temporal framework, " Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency (J.W. deBakker, W.-P. de Roever, and G. Rozenberg, eds.), Springer LNCS 354, 1989.
9. Z. Manna, A. Pnueli, "Completing the temporal picture, " 16th EATCS ICALP, 1989.
10. S. Owicki, L. Lamport, "Proving liveness properties of concurrent programs, " ACM TOPLAS 4, 1982.
11. J.S. Ostroff, Temporal Logic for Real-lime Systems, v Research Studies Press, 1989.
12. A. Pnueli, W.-P. de Roever, "RenJe voos with Ada-A proof-Theoretical view, " SigPlan AdaTEC, 1982.
13. A. Pnueli, E. Harel, "Applications of temporal logic to the specification of real-Time systems, " Formal Techmques in Real-Time and Fault-Tolerant Systems, Springer LNCS 331, 1988.
14. D. Ron, Temporal Verification of Communication Protocols, MS. Thcsis, Weizmann Institute, 1984.