Generalized Symbolic Trajectory Evaluation — Abstraction in Action

This publication has 16 references indexed in Scilit:

• Early quantification and partitioned transition relations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A Methodology for Large-Scale Hardware Verification
  Published by Springer Nature ,2000
• Lazy symbolic model checking
  Published by Association for Computing Machinery (ACM) ,2000
• Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1999
• Model checking lattices: using and reasoning about information orders for abstraction
  Logic Journal of the IGPL, 1999
• The Mathematical Foundation of Symbolic Trajectory Evaluation
  Published by Springer Nature ,1999
• Combining theorem proving and trajectory evaluation in an industrial environment
  Published by Association for Computing Machinery (ACM) ,1998
• A simple theorem prover based on symbolic trajectory evaluation and BDD's
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1995
• Formal verification by symbolic evaluation of partially-ordered trajectories
  Formal Methods in System Design, 1995
• Symbolic Model Checking
  Published by Springer Nature ,1993