Loading [a11y]/accessibility-menu.js
Formal verification coverage: computing the coverage gap between temporal specifications | IEEE Conference Publication | IEEE Xplore

Formal verification coverage: computing the coverage gap between temporal specifications


Abstract:

Existing methods for formal verification coverage compare a given specification with a given implementation, and evaluate the coverage gap in terms of quantitative metric...Show More

Abstract:

Existing methods for formal verification coverage compare a given specification with a given implementation, and evaluate the coverage gap in terms of quantitative metrics. We consider a new problem, namely to compare two formal temporal specifications and to find a set of additional temporal properties that close the coverage gap between the two specifications. In this paper we present: (1) the problem definition and motivation, (2) a methodology for computing the coverage gap between specifications, and (3) a methodology for representing the coverage gap as a collection of temporal properties that preserve the syntactic structure of the target specification.
Date of Conference: 07-11 November 2004
Date Added to IEEE Xplore: 31 January 2005
Print ISBN:0-7803-8702-3
Print ISSN: 1092-3152
Conference Location: San Jose, CA, USA

References

References is not available for this document.