Coverage Metrics for Formal Verification

This publication has 22 references indexed in Scilit:

• Enhanced Vacuity Detection in Linear Temporal Logic
  Published by Springer Nature ,2003
• Validation coverage analysis for complex digital designs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Korat
  Published by Association for Computing Machinery (ACM) ,2002
• The ForSpec Temporal Logic: A New Temporal Property-Specification Language
  Published by Springer Nature ,2002
• A Practical Approach to Coverage in Model Checking
  Published by Springer Nature ,2001
• Coverage Metrics for Temporal Logic Model Checking
  Published by Springer Nature ,2001
• Efficient Detection of Vacuity in Temporal Model Checking
  Formal Methods in System Design, 2001
• A general method for compiling event-driven simulations
  Published by Association for Computing Machinery (ACM) ,1995
• Efficient generation of counterexamples and witnesses in symbolic model checking
  Published by Association for Computing Machinery (ACM) ,1995
• Hints on Test Data Selection: Help for the Practicing Programmer
  Computer, 1978