Symbolic Localization Reduction with Reconstruction Layering and Backtracking

This publication has 13 references indexed in Scilit:

• High-density reachability analysis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Formal property verification by abstraction refinement with formal, simulation and hybrid engines
  Published by Association for Computing Machinery (ACM) ,2001
• GRASP: a search algorithm for propositional satisfiability
  IEEE Transactions on Computers, 1999
• Symbolic Model Checking without BDDs
  Published by Defense Technical Information Center (DTIC) ,1999
• Multiple State and Single State Tableaux for Combining Local and Global Nodel Checking
  Published by Springer Nature ,1999
• Verification by approximate forward and backward reachability
  Published by Association for Computing Machinery (ACM) ,1998
• Incremental CTL model checking using BDD subsetting
  Published by Association for Computing Machinery (ACM) ,1998
• On-the-fly model checking of RCTL formulas
  Published by Springer Nature ,1998
• An iterative approach to language containment
  Published by Springer Nature ,1993
• Efficient implementation of a BDD package
  Published by Association for Computing Machinery (ACM) ,1990