Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs
- 24 August 2001
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A theory of timed automataPublished by Elsevier ,2002
- Improvements in BDD-Based Reachability Analysis of Timed AutomataPublished by Springer Nature ,2001
- Some progress in the symbolic verification of timed automataPublished by Springer Nature ,1997
- Checking for language inclusion using simulation preordersPublished by Springer Nature ,1992