Minimum and maximum delay problems in realtime systems

  • Costas Courcoubetis
  • Mihalis Yannakakis
Session 13: Timed Specification and Verification 1
Part of the Lecture Notes in Computer Science book series (LNCS, volume 575)


We consider a finite state system with a finite number of clocks, where the transitions may depend on the values of the clocks, and may reset some of the clocks. We address the complexity and provide algorithms for the following problems. Suppose that the system starts from a given current state with a given assignment of values to the clocks. Can a given target state ever appear in the history of the system? What is the earliest time it can appear? What is the latest time it can appear?


  1. [ACD90]
    R. Alur, C. Courcoubetis, D. Dill, “Model-Checking for Real-Time Systems”, 5th IEEE LICS, 1990.Google Scholar
  2. [ACD91]
    R. Alur, C. Courcoubetis, D. Dill, “Probabilistic Model Checking of Real-Time Systems”, to appear in 18th ICALP, 1991.Google Scholar
  3. [AD90]
    R. Alur, D. Dill, “Automata for Modelling Real-Time Systems”, 17th ICALP, 1990.Google Scholar
  4. [AH89]
    R. Alur, T. Henzinger, “A Really Temporal Logic”, 30th IEEE FOCS, 1989.Google Scholar
  5. [AK83]
    S. Aggarwal, R. Kurshan, “Modelling Elapsed Time in Protocol Specification”, Protocol Specification, Testing and Verification, III, 1983.Google Scholar
  6. [Di89]
    D. Dill, “Timing Assumptions and Verification of Finite-State Concurrent Systems”, Automatic Verification Methods for Finite-State Systems, LNCS 407, 1989.Google Scholar
  7. [Le90]
    H. Lewis, “A Logic of Concrete Time Intervals”, 5th IEEE LICS, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Costas Courcoubetis
    • 1
  • Mihalis Yannakakis
    • 2
  1. 1.Computer Science Institute, FORTH and Computer Science Dept.University of CreteGreece
  2. 2.AT&T Bell LaboratoriesMurray Hill

Personalised recommendations