By Topic

Do's and don'ts of CTL state coverage estimation

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
3 Author(s)
Jayakumar, N. ; Univ. of Colorado, Boulder, CO, USA ; Purandare, M. ; Somenzi, F.

Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. (1999) that applies to a larger subset of CTL; we prove properties of the algorithm and apply it to three case studies. From these case studies we derive recommendations for an effective use of coverage estimation.

Published in:

Design Automation Conference, 2003. Proceedings

Date of Conference:

2-6 June 2003