Presburger liveness verification of discrete timed automata
- 18 April 2003
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 299 (1-3) , 413-438
- https://doi.org/10.1016/s0304-3975(02)00485-1
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A theory of timed automataPublished by Elsevier ,2002
- Uppaal in a nutshellInternational Journal on Software Tools for Technology Transfer, 1997
- Specification of realtime systems using ASTRALIEEE Transactions on Software Engineering, 1997
- The benefits of relaxing punctualityJournal of the ACM, 1996
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- A really temporal logicJournal of the ACM, 1994
- Model-Checking in Dense Real-TimeInformation and Computation, 1993
- Real-Time Logics: Complexity and ExpressivenessInformation and Computation, 1993
- The complexity of almost linear diophantine problemsJournal of Symbolic Computation, 1990
- Reversal-Bounded Multicounter Machines and Their Decision ProblemsJournal of the ACM, 1978