Extended abstract: transition traversal coverage estimation for symbolic model checking | IEEE Conference Publication | IEEE Xplore

Extended abstract: transition traversal coverage estimation for symbolic model checking


Abstract:

Model checking can exhaustively verify whether a system (implementation) satisfies a set of properties (formal specification). However, the completeness of the formal spe...Show More

Abstract:

Model checking can exhaustively verify whether a system (implementation) satisfies a set of properties (formal specification). However, the completeness of the formal specification itself is not clear and needs to be evaluated. Several coverage estimation methods have been proposed for this issue. In this paper, we present a transition traversal coverage method for a subset of CTL. With this method, we can detect the transitions, which are not verified by any property. It is more accurate and comprehensive than the state coverage method.
Date of Conference: 11-14 July 2005
Date Added to IEEE Xplore: 01 August 2005
Print ISBN:0-7803-9227-2
Conference Location: Verona, Italy

References

References is not available for this document.