Model checking via reachability testing for timed automata
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 263-280
- https://doi.org/10.1007/bfb0054177
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- HYTECH: the next generationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A theory of timed automataPublished by Elsevier ,2002
- What's decidable about hybrid automata?Published by Association for Computing Machinery (ACM) ,1995
- Reasoning about Infinite ComputationsInformation and Computation, 1994
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- Characteristic Formulas for Processes with DivergenceInformation and Computation, 1994
- A really temporal logicJournal of the ACM, 1994
- Bisimulation through probabilistic testingInformation and Computation, 1991
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Testing equivalences for processesTheoretical Computer Science, 1984