On Expressiveness and Complexity in Real-Time Model Checking
From MaRDI portal
Publication:3519496
DOI10.1007/978-3-540-70583-3_11zbMath1155.68426OpenAlexW1542921761MaRDI QIDQ3519496
Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell
Publication date: 19 August 2008
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-70583-3_11
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (11)
Metric temporal logic revisited ⋮ Time-Bounded Verification ⋮ Unnamed Item ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Parameterized model checking of weighted networks ⋮ Some Recent Results in Metric Temporal Logic ⋮ A logical characterization of timed regular languages ⋮ On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing ⋮ Model-checking Timed Temporal Logics ⋮ Unnamed Item ⋮ The Complexity of Flat Freeze LTL
This page was built for publication: On Expressiveness and Complexity in Real-Time Model Checking
