Abstract | ||
---|---|---|
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. [7] 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. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1145/775832.775908 | DAC |
Keywords | Field | DocType |
larger subset,ctl state coverage estimation,model checking,improved version,coverage estimation,case study,effective use,labeling,algorithm design and analysis,formal verification,logic design | Model checking,Computer science,Theoretical computer science,CTL*,Completeness (statistics),Formal verification | Conference |
ISSN | ISBN | Citations |
0738-100X | 1-58113-688-9 | 22 |
PageRank | References | Authors |
1.00 | 5 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nikhil Jayakumar | 1 | 215 | 20.42 |
Mitra Purandare | 2 | 81 | 5.49 |
Fabio Somenzi | 3 | 3394 | 302.47 |