Model-checking Timed Temporal Logics
Open Access
- 25 March 2009
- journal article
- research article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 231, 323-341
- https://doi.org/10.1016/j.entcs.2009.02.044
Abstract
No abstract availableKeywords
This publication has 31 references indexed in Scilit:
- Alternating timed automataACM Transactions on Computational Logic, 2008
- On the decidability and complexity of Metric Temporal Logic over finite wordsLogical Methods in Computer Science, 2007
- On the expressiveness of MTL in the pointwise and continuous semanticsInternational Journal on Software Tools for Technology Transfer, 2006
- Verifying lossy channel systems has nonprimitive recursive complexityInformation Processing Letters, 2002
- Axioms for real-time logicsTheoretical Computer Science, 2002
- HYTECH: a model checker for hybrid systemsInternational Journal on Software Tools for Technology Transfer, 1997
- The benefits of relaxing punctualityJournal of the ACM, 1996
- A theory of timed automataTheoretical Computer Science, 1994
- A really temporal logicJournal of the ACM, 1994
- On Communicating Finite-State MachinesJournal of the ACM, 1983