A real-time interval logic and its decision procedure

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

Volumn 761 LNCS, Issue , 1993, Pages 173-192

  Ramakrishna, Y S ^a,b   Dillon, L K ^a   Moser, L E ^a   Melliar Smith, P M ^a   Kutty, G ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

DECISION PROCEDURE; DENSE REAL-TIME; EMPTINESS PROBLEM; GRAPHICAL REPRESENTATIONS; NATURAL EXTENSION; PROOF CHECKERS; TIMING DIAGRAMS; UNDECIDABILITY;

COMPUTER CIRCUITS;

EID: 85029459331     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-57529-4_52     Document Type: Conference Paper

References (26)

1. Alur R, Dill D, Automata for Modelling Real-Time Systems, Proc. 17th ICALP, 1990, LNCS 443, pp 322-335.
2. Alur R, Feder T, Henzinger T, The Benefits of Relaxing Punctuality, Proc. 10th PODC, 1991, pp 139-152.
3. Alur R, Henzinger T, A Really Temporal Logic, Proc 30th FOCS, 1989, pp 164-169.
4. Alur R, Henzinger T, Back to the Future: Towards a Theory of Timed Regular Languages, Proc 33rd FOCS, 1992, pp 177-186.
5. Alur R, Henzinger T, Vardi M Y, Parametric Real-Time Reasoning, Proc 25th STOC, 1993, pp 592-601.
6. Barringer H, Kuiper R, Pnueli A, A Really Abstract Concurrent Model and Its Temporal Logic, Proc. 18th POPL, 1986, pp 173-183.
7. Chaochen Z, Hoare CAR, Ravn A P, A Calculus of Durations, Inf Proc Let 40(5), 1991, pp 269-276.
8. Chaochen Z, Hansen M R, Sestoft, Decidability and Undecidability Results for the Duration Calculus, Proc 10th STACS, 1993, LNCS 665, pp 58-68.
9. Dillon L K, Kutty G, Moser L E, MelliarSmith P M, Ramakrishna Y S, Graphical Specifications for Concurrent Software Systems, Proc. 14th ICSE, 1992, pp 214-224.
10. Emerson E A, Mok A, Sistla A P, Srinivasan J, Quantitative Temporal Reasoning, Proc. 1st CAV, 1990, LNCS 531, pp 136-145.
11. Halpern J, Manna Z, Moszkowski B, A Hardware Semantics Based on Temporal Intervals, Proc. 10iil ICALP, 1983, LNCS, pp 278-291.
12. Halpern J, Shoham Y, A Propositional Modal Logic of Time Intervals, J. ACM, Vol 38, No 4, October 1991, pp 935-962.
13. Jahanian F, Mok A, Safety Analysis of Timing Properties in Real-Time Systems, IEEE Trans. Software Engineering, Vol 12, No 9, 1986, pp 890-904.
14. Kutty G, Ramakrishna Y S, Moser L E, Dillon L K, Melliar-Smith P M, A Graphical Interval Logic Toolset for Verifying Concurrent Systems, Proc 4th CAV, 1993, LNCS 697, pp 138-153.
15. Lamport L, The Temporal Logic of Actions, DEC SRC Tech Rep 79, December 1991.
16. Lewis H, A Logic of Concrete Time Intervals, Proc. 5th LICS, 1990, pp 380-389.
17. Maler O, Manna Z, Pnueli A, From Timed to Hybrid Systems, Proc REX Workshop “Real-Time: Theory in Practice,” June 1991, LNCS 600, pp. 447-484.
18. Melliar-Smith P M, Extending Interval Logic to Real-Time Systems, Proc. Conf. Temporal Logic in Specification, Altrincham, England, April 1987, LNCS 398, pp 224-242
19. Narayana K T, Aaby A A, Specification of Real-Time Systems in Real-Time Temporal Interval Logic, Proc. 9th IEEE RTSS, 1988, pp 86-95.
20. Ramakrishna Y S, Dillon L K, Moser L E, Melliar-Smith P M, Kutty G, An Automata-Theoretic Decision Procedure for Future Interval Logic, Proc. 124th FST&TCS, 1992, LNCS 652, pp 51-67.
21. Ramakrishna Y S, Melliar-Smith P M, Moser L E, Dillon L K, Kutty G, Really Visual Temporal Reasoning, RTSS, 1993, to appear.
22. Ramakrishna Y S, Interval Logics for Specification and Verification, PhD Dissertation, Dept of Electrical and Computer Engineering, University of California, Santa Barbara, 1993, to appear.
23. Razouk R R, Gorlick M M, A Real-Time Interval Logic For Reasoning About Executions of Real-Time Programs, Proc. 3rd TAV, SIGSOFT SE Notes, 114 (3), 1989, pp 10-19.
24. Schwartz R L, Melliar-Smith P M, Vogt F, An Interval Logic for Higher-Level Temporal Reasoning, Proc. 2nd PODC, 1983, pp 173-186.
25. Smullyan, R M, First-Order Logic, Springer-Verlag, Berlin, 1968.
26. Wolper P, On the Relation of Programs and Computations to Models of Temporal Logic, Proc. Conf. Temporal Logic in Specification, 1987, LNCS 398, pp 75-123.