A Practical Approach to Coverage in Model Checking

This publication has 25 references indexed in Scilit:

• Improving coverage analysis and test generation for large designs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Validation coverage analysis for complex digital designs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An observability-based code coverage metric for functional simulation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Coverage Metrics for Temporal Logic Model Checking
  Published by Springer Nature ,2001
• Efficient Decision Procedures for Model Checking of Linear Time Logic Properties
  Published by Springer Nature ,1999
• OCCOM
  Published by Association for Computing Machinery (ACM) ,1998
• Efficient detection of vacuity in ACTL formulas
  Published by Springer Nature ,1997
• COSPAN
  Published by Springer Nature ,1996
• Efficient generation of counterexamples and witnesses in symbolic model checking
  Published by Association for Computing Machinery (ACM) ,1995
• Formally verifying a microprocessor using a simulation methodology
  Published by Association for Computing Machinery (ACM) ,1994