{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:51:00Z","timestamp":1730281860404,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1109\/memcod.2009.5185377","type":"proceedings-article","created":{"date-parts":[[2009,8,11]],"date-time":"2009-08-11T19:09:22Z","timestamp":1250017762000},"page":"46-55","source":"Crossref","is-referenced-by-count":32,"title":["Verification of an industrial SystemC\/TLM model using LOTOS and CADP"],"prefix":"10.1109","author":[{"given":"Hubert","family":"Garavel","sequence":"first","affiliation":[]},{"given":"Claude","family":"Helmstetter","sequence":"additional","affiliation":[]},{"given":"Olivier","family":"Ponsini","sequence":"additional","affiliation":[]},{"given":"Wendelin","family":"Serwe","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"STMicroelectronics - SPG","year":"2004","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(87)90085-7"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69962-7"},{"journal-title":"A Comparison of two SystemC\/TLM Semantics for Formal Verification \" in MEMOCODE'08","year":"2008","author":"helmstetter","key":"15"},{"journal-title":"Gene?ve International Standard 8807","article-title":"lotos - a formal description technique based on the temporal ordering of observational behaviour","year":"1989","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-006-9044-6"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73370-6_14"},{"key":"11","first-page":"285","article-title":"formalizing tlm with communicating state machines","author":"niemann","year":"2006","journal-title":"FDL'06"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2005.1487900"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_20"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_12"},{"journal-title":"Transaction-Level Modeling With SystemC TLM Concepts and Applications for Embedded Systems","year":"2005","key":"2"},{"journal-title":"OSCI","year":"0","key":"1"},{"key":"10","first-page":"4167","article-title":"checksyc: an efficient property checker for rtl systemc designs","volume":"4","author":"gro\ufffde","year":"2005","journal-title":"ISCAS"},{"key":"7","first-page":"356","article-title":"race analysis for systemc using model checking","author":"blanc","year":"2008","journal-title":"ICCAD 2008"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391706"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2006.10"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_18"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2002.1115387"},{"key":"8","article-title":"test coverage for loose timing annotations","author":"helmstetter","year":"2006","journal-title":"FMICS'06"}],"event":{"name":"2009 7th IEEE\/ACM International Conference on Formal Methods and Models for Co-Design (MEMOCODE)","start":{"date-parts":[[2009,7,13]]},"location":"Cambridge, MA, USA","end":{"date-parts":[[2009,7,15]]}},"container-title":["2009 7th IEEE\/ACM International Conference on Formal Methods and Models for Co-Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5173407\/5185370\/05185377.pdf?arnumber=5185377","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T04:33:06Z","timestamp":1489811586000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5185377\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/memcod.2009.5185377","relation":{},"subject":[],"published":{"date-parts":[[2009,7]]}}}