Partial model checking with ROBDDs

This publication has 10 references indexed in Scilit:

• A complete compositional modal proof system for a subset of CCS
  Published by Springer Nature ,2005
• Symbolic model checking: 10/sup 20/ states and beyond
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Compositional proof systems for model checking infinite state processes
  Published by Springer Nature ,1995
• A Formal Approach to Hardware Design
  Published by Springer Nature ,1994
• Design and analysis of delay-insensitive modulo-N counters
  Formal Methods in System Design, 1993
• Symbolic Model Checking
  Published by Springer Nature ,1993
• Verification of synchronous sequential machines based on symbolic execution
  Published by Springer Nature ,1990
• A structural induction theorem for processes
  Published by Association for Computing Machinery (ACM) ,1989
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• A lattice-theoretical fixpoint theorem and its applications
  Pacific Journal of Mathematics, 1955