STARI: A case study in compositional and hierarchical timing verification
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 191-201
- https://doi.org/10.1007/3-540-63166-6_20
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Verifying abstractions of timed systemsPublished by Springer Nature ,1996
- Timing analysis in COSPANPublished by Springer Nature ,1996
- Timing analysis of asynchronous circuits using timed automataPublished by Springer Nature ,1995
- Parametric real-time reasoningPublished by Association for Computing Machinery (ACM) ,1993