{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T12:52:16Z","timestamp":1746190336890,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hldvt.2005.1568830","type":"proceedings-article","created":{"date-parts":[[2006,1,18]],"date-time":"2006-01-18T18:42:54Z","timestamp":1137609774000},"page":"153-159","source":"Crossref","is-referenced-by-count":4,"title":["Formal verification of high-level conformance with symbolic simulation"],"prefix":"10.1109","author":[{"given":"R.","family":"Kaivola","sequence":"first","affiliation":[]},{"given":"A.","family":"Naik","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"108","article-title":"Checking safety properties using induction and a sat-solver","author":"sheeran","year":"2000","journal-title":"FMCAD'00"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775834"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/BF01383966"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511811326"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2001.972825"},{"key":"14","first-page":"526","article-title":"Combinational equivalence checking through function transformation","author":"kwak","year":"2002","journal-title":"ICCAD '02"},{"year":"0","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-002-0081-6"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00191-0"},{"key":"20","first-page":"113","article-title":"A technique for invariant generation","author":"tiwari","year":"2001","journal-title":"TACAS 2001"},{"key":"2","first-page":"505","article-title":"InVeST: A tool for the verification of invariants","author":"bensalem","year":"1998","journal-title":"Proc CAV 98"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008744030390"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-1101-4"},{"key":"7","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","article-title":"Assigning meaning to programs","volume":"19","author":"floyd","year":"1967","journal-title":"Proc Symposia Applied Math"},{"journal-title":"Model checking","year":"1999","author":"edmund","key":"6"},{"key":"5","first-page":"308","article-title":"Program proving as hand simulation with a little induction","author":"burstall","year":"1974","journal-title":"Information Processing"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/288195.288218"},{"key":"8","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/3-540-63475-4_1","article-title":"Symbolic trajectory evaluation","author":"hazelhurst","year":"1997","journal-title":"Formal Hardware Verification"}],"event":{"name":"Tenth IEEE International High-Level Design Validation and Test Workshop, 2005.","location":"Napa Valley, CA, USA"},"container-title":["Tenth IEEE International High-Level Design Validation and Test Workshop, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10490\/33246\/01568830.pdf?arnumber=1568830","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T22:30:12Z","timestamp":1497652212000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1568830\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2005.1568830","relation":{},"subject":[]}}