If: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems

This publication has 20 references indexed in Scilit:

• IF: An Intermediate Representation for SDL and its Applications
  Published by Elsevier ,1999
• Modeling Urgency in Timed Systems
  Published by Springer Nature ,1998
• Protocol verification with the ALDÉBARAN toolset
  International Journal on Software Tools for Technology Transfer, 1997
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• Symbolic Model Checking
  Published by Springer Nature ,1993
• Towards a formal foundation of the specification and description language SDL
  Formal Aspects of Computing, 1991
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• An improved algorithm for decentralized extrema-finding in circular configurations of processes
  Communications of the ACM, 1979