{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:49:00Z","timestamp":1742402940089,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/aspdac.2006.1594636","type":"proceedings-article","created":{"date-parts":[[2006,3,22]],"date-time":"2006-03-22T17:38:08Z","timestamp":1143049088000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Transition-based coverage estimation for symbolic model checking"],"prefix":"10.1109","author":[{"family":"Xingwen Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Kimura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Horikawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Tsuchiya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1997.597243"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/2.55500"},{"key":"13","first-page":"198","article-title":"Formal verification coverage: Computing the coverage gap between temoral specifications","author":"das","year":"2004","journal-title":"Proceedings of the IEEE\/ACM International Conference on Compute Aided Design (ICCAD)"},{"key":"14","first-page":"428","article-title":"VIS: A system for verification and synthesis","author":"brayton","year":"1996","journal-title":"Proceedings of the 1996 International Conference on Computer Aided Verification (CAV)"},{"key":"11","first-page":"532","article-title":"Automatic extraction of the control flow machine and application to evaluating coverage of verification vectors","author":"hoskote","year":"1995","journal-title":"Proceedings of the 1995 IEEE Internatinal Conference on Computer Design VLSI in Computers and Processors (ICCD)"},{"key":"12","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1145\/223982.224450","article-title":"Architecture validation for processors","author":"ho","year":"1995","journal-title":"Proceedings 22nd Annual International Symposium on Computer Architecture ISCA"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775908"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.781330"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/54.936247"},{"key":"7","first-page":"66","article-title":"A practical approach to coverage in model checking","author":"chockler","year":"2001","journal-title":"Proceedings of the 2001 International Conference on Computer Aided Verification (CAV)"},{"key":"6","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/978-3-540-39724-3_11","article-title":"Coverage metrics for formal verification","author":"chockler","year":"2003","journal-title":"Proceedings of 12th ACM Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARM)"},{"key":"5","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1007\/3-540-48153-2_21","article-title":"Have I written enough properties? - A method of comparison between specification and implementation","author":"katz","year":"1999","journal-title":"Proceedings of the 10th ACM Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARM)"},{"key":"4","first-page":"259","article-title":"Transition traversal coverage estimation for symbolic model checking","author":"xu","year":"2005","journal-title":"Proceedings of the 3rd ACM\/IEEE Internatinoal Confernece on Formal Methods and Models for Co-design (MEMOCODE)"},{"key":"9","first-page":"160","article-title":"Numerical coverage estimation for the symbolic simulation of real-time systems","volume":"2767","author":"wang","year":"2003","journal-title":"LNCS"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2003.1210099"}],"event":{"name":"Asia and South Pacific Conference on Design Automation, 2006.","location":"Yokohama, Japan"},"container-title":["Asia and South Pacific Conference on Design Automation, 2006."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10626\/33561\/01594636.pdf?arnumber=1594636","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,3]],"date-time":"2024-02-03T12:18:58Z","timestamp":1706962738000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1594636\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2006.1594636","relation":{},"subject":[]}}