HyTech: A model checker for hybrid systems
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 460-463
- https://doi.org/10.1007/3-540-63166-6_48
Abstract
No abstract availableKeywords
This publication has 35 references indexed in Scilit:
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- A theory of timed automataPublished by Elsevier ,2002
- Automatic symbolic verification of embedded systemsIEEE Transactions on Software Engineering, 1996
- UPPAAL — a tool suite for automatic verification of real-time systemsPublished by Springer Nature ,1996
- Timing analysis in COSPANPublished by Springer Nature ,1996
- Hybrid Systems IIIPublished by Springer Nature ,1996
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Hybrid Systems IIPublished by Springer Nature ,1995
- Parametric real-time reasoningPublished by Association for Computing Machinery (ACM) ,1993
- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systemsPublished by Springer Nature ,1993