Data-structures for the verification of timed automata
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 346-360
- https://doi.org/10.1007/bfb0014737
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A theory of timed automataPublished by Elsevier ,2002
- Verification of an Audio Protocol with bus collision using UppaalPublished by Springer Nature ,1996
- Verifying ET-LOTOS programs with KRONOSPublished by Springer Nature ,1995
- An automata-theoretic approach to Presburger arithmetic constraintsPublished by Springer Nature ,1995
- Timing analysis of asynchronous circuits using timed automataPublished by Springer Nature ,1995
- Toupie=μ-calculus+constraintsPublished by Springer Nature ,1995
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- Symbolic Model CheckingPublished by Springer Nature ,1993
- Timing assumptions and verification of finite-state concurrent systemsPublished by Springer Nature ,1990
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986