Efficient Symbolic State-Space Construction for Asynchronous Systems

This publication has 18 references indexed in Scilit:

• Hierarchical structuring of superposed GSPNs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Efficient Reachability Set Generation and Storage Using Decision Diagrams
  Published by Springer Nature ,1999
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Storage alternatives for large structured state spaces
  Published by Springer Nature ,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
  Published by Springer Nature ,1996
• Exploiting symmetry in temporal logic model checking
  Published by Springer Nature ,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