{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:31:45Z","timestamp":1729661505635,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/memcod.2005.1487902","type":"proceedings-article","created":{"date-parts":[[2005,7,27]],"date-time":"2005-07-27T17:52:28Z","timestamp":1122486748000},"page":"121-130","source":"Crossref","is-referenced-by-count":1,"title":["Synchronization verification in system-level design with ILP solvers"],"prefix":"10.1109","author":[{"given":"T.","family":"Sakunkonchak","sequence":"first","affiliation":[]},{"given":"S.","family":"Komatsu","sequence":"additional","affiliation":[]},{"given":"M.","family":"Fujita","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503279"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"18","article-title":"Construction of abstract state graphs with pvs","author":"graf","year":"1997","journal-title":"Proc Int Conf Computer-Aided Verification (CAV 97)"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4515-6"},{"journal-title":"System Design A Practical Guide With SpecC","year":"2001","author":"gerstlauer","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"},{"key":"14","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1145\/500001.500019","article-title":"the standard specc language","author":"fujita","year":"2001","journal-title":"International Symposium on System Synthesis (IEEE Cat No 01EX526) ISSS-01"},{"key":"11","first-page":"308","article-title":"Hardware verification using ANSI-C programs as a reference","author":"clarke","year":"2003","journal-title":"In Proceedings of ASPDAC 2003"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000040025.89719.f3"},{"key":"21","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1145\/302405.302710","article-title":"a practical method for verifying event-driven software","author":"holzmann","year":"1999","journal-title":"Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat No 99CB37002) ICSE"},{"key":"20","article-title":"Lazy abstraction","author":"henzinger","year":"2003","journal-title":"Proc 10th Int l SPIN Workshop Model Checking of Software (SPIN 03)"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/53990.53994"},{"key":"23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-45069-6_15","article-title":"A symbolic approach to predicate abstraction","author":"lahrri","year":"2003","journal-title":"Proceeding of International Conference on Computer-Aided Verification (CAV"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"25","article-title":"Difference decision diagrams","volume":"it tr 1999 23","author":"m\ufffdller","year":"1999","journal-title":"Technical Report"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"27","article-title":"Precise interprocedural dataflow analysis with applications to constant propagation","volume":"167","author":"reps","year":"1996","journal-title":"Theoretical Computer Science"},{"key":"28","article-title":"Verification of synchronization in specc description with the use of difference decision diagrams","author":"sakunkonchak","year":"2002","journal-title":"Proc Forum on Specification and Design Languages (FDL 02)"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2000.873645"},{"journal-title":"Koolean Programs A Model and Process for Software Analysis","year":"0","author":"ball","key":"3"},{"key":"2","article-title":"Boolean programs: A model and process for software analysis","volume":"2000","author":"ball","year":"2000","journal-title":"Technical Report"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0020-3"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"5","article-title":"Symbolic model cheeking for sequential circuit verification","volume":"13","author":"burch","year":"1993","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44585-4_25","article-title":"The slam toolkit","author":"ball","year":"2001","journal-title":"Proceedings of the International Conference on Computer-aided Verification (CAV'01)"},{"journal-title":"Model checking","year":"2000","author":"clarke","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_15"}],"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\/01487902.pdf?arnumber=1487902","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T03:30:21Z","timestamp":1552102221000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1487902\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/memcod.2005.1487902","relation":{},"subject":[]}}