IF: An Intermediate Representation for SDL and its Applications

This publication has 4 references indexed in Scilit:

• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• Constant propagation with conditional branches
  ACM Transactions on Programming Languages and Systems, 1991
• An improved algorithm for decentralized extrema-finding in circular configurations of processes
  Communications of the ACM, 1979