Difference Decision Diagrams
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 111-125
- https://doi.org/10.1007/3-540-48168-0_9
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Approximate reachability analysis of timed automataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Efficient timing analysis algorithms for timed state space explorationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Verification of timed systems using POSETsPublished by Springer Nature ,1998
- Combining constraint solving and symbolic model checking for a class of systems with non-linear constraintsPublished by Springer Nature ,1997
- 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
- Computing quantitative characteristics of finite-state real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1994
- Verifying automata specifications of probabilistic real-time systemsPublished by Springer Nature ,1992
- Modeling and verification of time dependent systems using time Petri netsIEEE Transactions on Software Engineering, 1991
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986