{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:02:53Z","timestamp":1729670573707,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/memcod.2003.1210110","type":"proceedings-article","created":{"date-parts":[[2004,1,23]],"date-time":"2004-01-23T23:33:03Z","timestamp":1074900783000},"page":"255-264","source":"Crossref","is-referenced-by-count":0,"title":["A verification methodology for infinite-state message passing systems"],"prefix":"10.1109","author":[{"given":"C.","family":"Sprenger","sequence":"first","affiliation":[]},{"given":"K.","family":"Worytkiewicz","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"Communicating Sequential Processes. Prentice Hall International Series on Computer Science","year":"1985","author":"hoare","key":"ref10"},{"year":"2000","key":"ref11","article-title":"The Objective Caml system, release 3.00"},{"article-title":"Categories for the Working Mathematician","year":"1997","author":"lane","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49253-4_5"},{"article-title":"The Temporal Logic of Reactive and Concurrent Svstems","year":"1992","author":"manna","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50024-X"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/3-540-61474-5_91","article-title":"PVS: Combining specification, proof checking, and model checking","volume":"1102","author":"owre","year":"1996","journal-title":"Computer-aided Verification CAV '96"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/32.345827"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008791913551"},{"journal-title":"Deductive Local Model Checking — On the Verification of CTL* Properties of Reactive Systems","year":"2000","author":"sprenger","key":"ref19"},{"article-title":"Model Checking","year":"1999","author":"clarke","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60692-0_69"},{"journal-title":"daVinci home page","year":"2001","key":"ref6"},{"article-title":"Categories for Types","year":"1993","author":"crole","key":"ref5"},{"journal-title":"Twisted Systems","year":"1999","author":"erington","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80306-8"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00191-0"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1995.523273"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321997"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80501-2"},{"journal-title":"Components and Synchronous Communication in Categories of Processes","year":"2000","author":"worytkiewicz","key":"ref21"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80573-5"}],"event":{"name":"2003 1st IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003)","start":{"date-parts":[[2003,6,24]]},"location":"Mont Saint Michel, France","end":{"date-parts":[[2003,6,26]]}},"container-title":["First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8593\/27232\/01210110.pdf?arnumber=1210110","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:54:59Z","timestamp":1523235299000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1210110\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/memcod.2003.1210110","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}