Deciding an Interval Logic with Accumulated Durations
From MaRDI portal
Publication:5758112
DOI10.1007/978-3-540-71209-1_17zbMath1186.03055MaRDI 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
real-time systems; decidability; model-checking; metric-time temporal logic; multi-priced timed automata
68Q45: Formal languages and automata
03B70: Logic in computer science
03B25: Decidability of theories and sets of sentences
03B44: Temporal logic
Related Items
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders, Verification of Linear Duration Invariants by Model Checking CTL Properties, Model checking duration calculus: a practical approach, A practical approach to model checking duration calculus using Presburger arithmetic, A survey on temporal logics for specifying and verifying real-time systems, Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata
Uses Software