If: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems
Authors:
- 17 September 1999
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 307-327
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- IF: An Intermediate Representation for SDL and its Applications1999
- Modeling Urgency in Timed Systems1998
- Protocol verification with the ALDÉBARAN toolsetInternational Journal on Software Tools for Technology Transfer, 1997
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- Model-Checking in Dense Real-TimeInformation and Computation, 1993
- Symbolic Model Checking1993
- Towards a formal foundation of the specification and description language SDLFormal Aspects of Computing, 1991
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- A Calculus of Communicating Systems1980
- An improved algorithm for decentralized extrema-finding in circular configurations of processesCommunications of the ACM, 1979