Data-structures for the verification of timed automata
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 346-360
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Verification of an Audio Protocol with bus collision using Uppaal1996
- Verifying ET-LOTOS programs with KRONOS1995
- An automata-theoretic approach to Presburger arithmetic constraints1995
- Timing analysis of asynchronous circuits using timed automataLecture Notes in Computer Science, 1995
- Toupie=μ-calculus+constraintsLecture Notes in Computer Science, 1995
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- A theory of timed automataTheoretical Computer Science, 1994
- Symbolic Model Checking1993
- Timing assumptions and verification of finite-state concurrent systems1990
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986