{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:59:16Z","timestamp":1729645156305,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/memcod.2006.1695895","type":"proceedings-article","created":{"date-parts":[[2006,9,22]],"date-time":"2006-09-22T13:01:13Z","timestamp":1158930073000},"page":"7-16","source":"Crossref","is-referenced-by-count":2,"title":["Analyzing tabular requirements specifications using infinite state model checking"],"prefix":"10.1109","author":[{"given":"T.","family":"Bultan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Heitmeyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/32.345827"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/32.317428"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/288195.288218"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.2001.948558"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/234426.234431"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1109\/CMPASS.1997.613206","article-title":"Tools for formal specification, verification, and validation of requirements","author":"heitmeyer","year":"1997","journal-title":"Proc 12th Annual Conf on Computer Assurance (COMPASS"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/32.730543"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-002-0091-4"},{"key":"3","article-title":"Verifying SCR requirements specifications using state exploration","author":"bharadwaj","year":"1997","journal-title":"Proc First ACM SIGPLAN Workshop Automatic Analysis of Software"},{"key":"20","doi-asserted-by":"crossref","DOI":"10.1007\/11513988_40","article-title":"Action language verifier, extended","author":"yavuz-kahveci","year":"2005","journal-title":"Proc 17th Internat Conf on Computer Aided Verification (CAV 2005)"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054103001911"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2006.1695916"},{"key":"10","first-page":"19","article-title":"Tools for contructing requirements specifications: The SCR toolset at the age of ten","volume":"20","author":"heitmeyer","year":"2005","journal-title":"International Journal of Software and Systems Engineering"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989834"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337219"},{"key":"5","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1007\/3-540-46419-0_26","article-title":"Salsa: Combining constraint solvers with BDDs for automatic invariant checking","volume":"1785","author":"bharadwaj","year":"2000","journal-title":"Lecture Notes in Computer Science"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008697817793"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1993.346033"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"8"}],"event":{"name":"Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06)","acronym":"MEMCOD-06","location":"Napa, CA, USA"},"container-title":["Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/11148\/35734\/01695895.pdf?arnumber=1695895","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T05:30:51Z","timestamp":1497677451000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1695895\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/memcod.2006.1695895","relation":{},"subject":[]}}