Improvements in BDD-Based Reachability Analysis of Timed Automata
- 16 March 2001
- book chapter
- Published by Springer Nature
- p. 318-343
- https://doi.org/10.1007/3-540-45251-6_18
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A theory of timed automataPublished by Elsevier ,2002
- Kronos: A model-checking tool for real-time systemsPublished by Springer Nature ,1998
- On discretization of delays in timed automata and digital circuitsPublished by Springer Nature ,1998
- Uppaal in a nutshellInternational Journal on Software Tools for Technology Transfer, 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
- BDD variable ordering for interacting finite state machinesPublished by Association for Computing Machinery (ACM) ,1994
- What good are digital clocks?Published by Springer Nature ,1992
- Efficient implementation of a BDD packagePublished by Association for Computing Machinery (ACM) ,1990
- A fast mutual exclusion algorithmACM Transactions on Computer Systems, 1987