Stepwise CTL Model Checking of State/Event Systems

This publication has 10 references indexed in Scilit:

• Improving efficiency of symbolic model checking for state-based system requirements
  Published by Association for Computing Machinery (ACM) ,1998
• Verification of large state/event systems using compositionality and dependency analysis
  Published by Springer Nature ,1998
• Automatic abstraction techniques for propositional μ-calculus model checking
  Published by Springer Nature ,1997
• Symbolic model checking for sequential circuit verification
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
• An iterative approach to language containment
  Published by Springer Nature ,1993
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• Sequential circuit verification using symbolic model checking
  Published by Association for Computing Machinery (ACM) ,1990
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• A lattice-theoretical fixpoint theorem and its applications
  Pacific Journal of Mathematics, 1955