Efficient Timed Reachability Analysis Using Clock Difference Diagrams
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 341-353
- https://doi.org/10.1007/3-540-48683-6_30
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Difference Decision DiagramsPublished by Springer Nature ,1999
- Symbolic model checking of process networks using interval diagram techniquesPublished by Association for Computing Machinery (ACM) ,1998
- Formal design and analysis of a gear controllerPublished by Springer Nature ,1998
- Some progress in the symbolic verification of timed automataPublished by Springer Nature ,1997
- Data-structures for the verification of timed automataPublished by Springer Nature ,1997
- Uppaal in 1995Published by Springer Nature ,1996
- Automatic Verification of Real-Time Communicating Systems by Constraint-SolvingPublished by Springer Nature ,1995
- A user guide to HyTechPublished by Springer Nature ,1995
- Model-checking for real-time systemsPublished by Springer Nature ,1995
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994