{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:09:47Z","timestamp":1725469787254},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/syseng.2015.7302779","type":"proceedings-article","created":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T22:22:10Z","timestamp":1445898130000},"page":"338-345","source":"Crossref","is-referenced-by-count":0,"title":["Contract platform and tools"],"prefix":"10.1109","author":[{"given":"Haifeng","family":"Zhu","sequence":"first","affiliation":[]},{"given":"Rajesh","family":"Kumar","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"CVC3 SMT Tool","year":"0","key":"ref4"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1109\/CDC.2013.6760374","article-title":"Incremental Sampling-based Algorithm for Minimum-violation","author":"castro","year":"2013","journal-title":"IEEE Conf on Decision and Control (CDC)"},{"journal-title":"Object Constraint Language Version 2 4 OMG","year":"2014","key":"ref10"},{"journal-title":"Decidable Fragments of First-order and fixed-point logic","year":"2003","author":"gradel","key":"ref6"},{"year":"0","key":"ref11"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0435-9_13"},{"key":"ref12","article-title":"Termination Prediction for General Logic Programs","author":"shen","year":"2010","journal-title":"Theory and Practice of Logic Prog"},{"journal-title":"Software Abstractions Logic Language and Analysis","year":"2006","author":"jackson","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2307\/2272244"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-78929-1_5","article-title":"Contract-based design for Computation and Verification of a Closed-loop Hybrid System","author":"benvenuti","year":"2008","journal-title":"Control of hybrid systems"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879027"},{"journal-title":"Architecture Analysis & Design Language (AADL)","year":"2012","key":"ref1"}],"event":{"name":"2015 IEEE International Symposium on Systems Engineering (ISSE)","start":{"date-parts":[[2015,9,28]]},"location":"Rome, Italy","end":{"date-parts":[[2015,9,30]]}},"container-title":["2015 IEEE International Symposium on Systems Engineering (ISSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7299493\/7302498\/07302779.pdf?arnumber=7302779","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:21:17Z","timestamp":1567297277000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7302779\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/syseng.2015.7302779","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}