It's about time: Real-time logics reviewed Conference Paper


Author(s): Henzinger, Thomas A
Title: It's about time: Real-time logics reviewed
Title Series: LNCS
Affiliation
Abstract: We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checking linear temporal formulas with timing constraints. In particular, we find that a great deal of real-time verification can be performed in polynomial space, but also that considerable care must be exercised in order to keep the real-time verification problem in polynomial space, or even decidable.
Conference Title: CONCUR: Concurrency Theory
Volume: 1466
Conference Dates: September 8–11, 1998
Conference Location: Nice, France
ISBN: 978-3-95977-017-0
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik  
Date Published: 1998-01-01
Start Page: 439
End Page: 454
DOI: 10.1007/BFb0055640
Notes: This research was supported in part by the Office of Naval Research Young Investigator award N00014-95-1-0520, by the National Science Foundation CAREER award CCR-9501708, by the National Science Foundation grant CCR-9504469, by the Defense Advanced Research Projects Agency grant NAG2-1214, by the Army Research Office MURI grant DAAH-04-96-1-0341, and by the Semiconductor Research Corporation contract 97-DC-324.041.
Open access: no
IST Austria Authors
  1. Thomas A. Henzinger
    415 Henzinger
Related IST Austria Work