Linear Parametric Model Checking of Timed Automata
- 23 March 2001
- book chapter
- Published by Springer Nature
- p. 189-203
- https://doi.org/10.1007/3-540-45319-9_14
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A theory of timed automataPublished by Elsevier ,2002
- Symbolic Techniques for Parametric Reasoning about Counter and Clock SystemsPublished by Springer Nature ,2000
- Root Contention in IEEE 1394Published by Springer Nature ,1999
- Kronos: A model-checking tool for real-time systemsPublished by Springer Nature ,1998
- Partition refinement in real-time model checkingPublished by Springer Nature ,1998
- Uppaal in a nutshellInternational Journal on Software Tools for Technology Transfer, 1997
- HyTech: A model checker for hybrid systemsPublished by Springer Nature ,1997
- The bounded retransmission protocol must be on time!Published by Springer Nature ,1997
- Parametric real-time reasoningPublished by Association for Computing Machinery (ACM) ,1993
- Timing assumptions and verification of finite-state concurrent systemsPublished by Springer Nature ,1990