Efficient Symbolic State-Space Construction for Asynchronous Systems

This publication has 18 references indexed in Scilit:

• Hierarchical structuring of superposed GSPNs
  2002
• Efficient Reachability Set Generation and Storage Using Decision Diagrams
  1999
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Storage alternatives for large structured state spaces
  1997
• Numerical analysis of superposed GSPNs
  IEEE Transactions on Software Engineering, 1996
• Compositional minimisation of finite state systems using interface specifications
  Formal Aspects of Computing, 1996
• Partial-Order Methods for the Verification of Concurrent Systems
  1996
• Exploiting symmetry in temporal logic model checking
  1993
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986