{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:05:29Z","timestamp":1725519929101},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/memcod.2006.1695897","type":"proceedings-article","created":{"date-parts":[[2006,9,22]],"date-time":"2006-09-22T17:01:13Z","timestamp":1158944473000},"page":"27-36","source":"Crossref","is-referenced-by-count":0,"title":["Component-based hardware\/software co-verification"],"prefix":"10.1109","author":[{"family":"Fei Xie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Guowu Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Xiaoyu Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"1989","journal-title":"The Formal Description Technique LOTOS","key":"19"},{"key":"22","article-title":"Translation-based co-verification","author":"xie","year":"2005","journal-title":"Proc of MEMOCODE"},{"year":"2002","author":"szyperski","journal-title":"Component Software - Beyond Object-Oriented Programming","key":"17"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1007\/978-1-4615-3992-6"},{"year":"2002","author":"mellor","journal-title":"Executable UML A Foundation for Model Driven Architecture","key":"15"},{"year":"0","key":"16"},{"year":"1998","author":"kurshan","journal-title":"FormalCheck User Manual","key":"13"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1016\/S0167-6423(99)00030-1"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/54.922806"},{"year":"1994","author":"kurshan","journal-title":"Computer-Aided Verification of Coordinating Processes The Automata-Theoretic Approach","key":"12"},{"key":"21","article-title":"Objectcheck: A model checking tool for executable object-oriented software system designs","author":"xie","year":"2002","journal-title":"Proc of FASE"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/32.489079"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1145\/940071.940109"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/LICS.1996.561320"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1145\/203095.201069"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1145\/378993.379006"},{"year":"1999","author":"clarke","journal-title":"Model checking","key":"7"},{"year":"0","key":"6"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1145\/240518.240626"},{"key":"4","article-title":"Assume-guarantee based compositional reasoning for synchronous timing diagrams","author":"amia","year":"2001","journal-title":"Proc of TACAS"},{"year":"0","key":"9"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/EURMIC.2000.874622"}],"event":{"acronym":"MEMCOD-06","name":"Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'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\/01695897.pdf?arnumber=1695897","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T16:09:23Z","timestamp":1489594163000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1695897\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/memcod.2006.1695897","relation":{},"subject":[]}}