{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T01:35:42Z","timestamp":1725672942918},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/memcod.2005.1487901","type":"proceedings-article","created":{"date-parts":[[2005,7,27]],"date-time":"2005-07-27T17:52:28Z","timestamp":1122486748000},"page":"111-120","source":"Crossref","is-referenced-by-count":3,"title":["Translation-based Co-verification"],"prefix":"10.1109","author":[{"family":"Fei Xie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Xiaoyu Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Haera Chung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Nandi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Seamless","year":"0","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"journal-title":"Executable UML A Foundation for Model Driven Architecture","year":"2002","author":"mellor","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1997.643621"},{"key":"16","article-title":"Static partial order reduction","author":"kurshan","year":"1998","journal-title":"Proc of TACAS"},{"journal-title":"Computer-Aided Verification of Coordinating Processes The Automata-Theoretic Approach","year":"1994","author":"kurshan","key":"13"},{"journal-title":"FormalCheck User Manual","year":"1998","author":"kurshan","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/378993.379006"},{"journal-title":"ITU-T Recommendation Z 100 (03\/93) - Specification and Description Language (SDL)","year":"1993","key":"12"},{"journal-title":"Ten Years of Partial Order Reduction","year":"1998","author":"peled","key":"21"},{"year":"2005","key":"20"},{"key":"22","article-title":"Specification and verification of concurrent systems in CESAR","author":"quielle","year":"1982","journal-title":"Proc SOPO"},{"journal-title":"The Formal Description Technique LOTOS","year":"1989","key":"23"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940109"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45236-2_32"},{"key":"26","article-title":"ObjectCheck: A model checking tool for executable object-oriented software system designs","author":"xie","year":"2002","journal-title":"Proc of FASE"},{"key":"27","article-title":"Translating software designs for model checking","author":"xie","year":"2004","journal-title":"Proc of FASE"},{"key":"3","article-title":"Assume-guarantee based compositional reasoning for synchronous timing diagrams","author":"amla","year":"2001","journal-title":"Proc of TACAS"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/32.489079"},{"key":"10","article-title":"COSPAN","author":"hardin","year":"1996","journal-title":"Proc of CAV"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/203095.201069"},{"key":"7","article-title":"Design and synthesis of synchronization skeletons using branching time temporal logic","author":"clarke","year":"1981","journal-title":"Proc Logic of Programs Workshop"},{"journal-title":"Ptolemy project","year":"2005","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/240518.240626"},{"key":"4","article-title":"Properties coverification for HW\/SW systems","author":"azizi","year":"1999","journal-title":"ECS Proc"},{"key":"9","article-title":"Construction of abstract state graphs with PVS","author":"graf","year":"1997","journal-title":"Proc of CAV"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/EURMIC.2000.874622"}],"event":{"name":"Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design","acronym":"MEMCOD-05","location":"Verona, Italy"},"container-title":["Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9956\/32009\/01487901.pdf?arnumber=1487901","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T15:29:53Z","timestamp":1489505393000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1487901\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/memcod.2005.1487901","relation":{},"subject":[]}}