√erics: A Tool for Verifying Timed Automata and Estelle Specifications
- 28 February 2003
- book chapter
- Published by Springer Nature
- p. 278-283
- https://doi.org/10.1007/3-540-36577-x_20
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- Towards Bounded Model Checking for the Universal Fragment of TCTLPublished by Springer Nature ,2002
- NuSMV 2: An OpenSource Tool for Symbolic Model CheckingPublished by Springer Nature ,2002
- ChaffPublished by Association for Computing Machinery (ACM) ,2001
- IF: An Intermediate Representation for SDL and its ApplicationsPublished by Elsevier ,1999
- KRONOS: a verification tool for real-time systemsInternational Journal on Software Tools for Technology Transfer, 1997
- The model checker SPINIEEE Transactions on Software Engineering, 1997