Efficient Timed Reachability Analysis Using Clock Difference Diagrams
- 1 January 1999
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 341-353
- https://doi.org/10.1007/3-540-48683-6_30
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Difference Decision DiagramsLecture Notes in Computer Science, 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 controllerLecture Notes in Computer Science, 1998
- Some progress in the symbolic verification of timed automataLecture Notes in Computer Science, 1997
- Data-structures for the verification of timed automataPublished by Springer Nature ,1997
- Uppaal in 1995Lecture Notes in Computer Science, 1996
- Automatic Verification of Real-Time Communicating Systems by Constraint-SolvingPublished by Springer Nature ,1995
- A user guide to HyTechLecture Notes in Computer Science, 1995
- Model-checking for real-time systemsLecture Notes in Computer Science, 1995
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994