Deciding an Interval Logic with Accumulated Durations

DOI10.1007/978-3-540-71209-1_17zbMath1186.03055OpenAlexW1600824897MaRDI QIDQ5758112

Michael R. Hansen, Martin Fränzle

Publication date: 3 September 2007

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71209-1_17

zbMATH Keywords

real-time systemsdecidabilitymodel-checkingmetric-time temporal logicmulti-priced timed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (6)

A survey on temporal logics for specifying and verifying real-time systems ⋮ Model checking duration calculus: a practical approach ⋮ A practical approach to model checking duration calculus using Presburger arithmetic ⋮ Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders ⋮ Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata ⋮ Verification of Linear Duration Invariants by Model Checking CTL Properties

Uses Software

• Uppaal

This page was built for publication: Deciding an Interval Logic with Accumulated Durations