{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T16:01:15Z","timestamp":1762272075087,"version":"3.37.3"},"reference-count":19,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2017,10,1]],"date-time":"2017-10-01T00:00:00Z","timestamp":1506816000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"Tata Consultancy Services (TCS)"},{"DOI":"10.13039\/501100006143","name":"Department of Science and Technology (DST)","doi-asserted-by":"publisher","award":["SB\/EMEQ-281\/2013"],"award-info":[{"award-number":["SB\/EMEQ-281\/2013"]}],"id":[{"id":"10.13039\/501100006143","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2017,10,1]]},"DOI":"10.1109\/tse.2016.2645687","type":"journal-article","created":{"date-parts":[[2016,12,28]],"date-time":"2016-12-28T14:07:14Z","timestamp":1482934034000},"page":"946-953","source":"Crossref","is-referenced-by-count":4,"title":["Deriving Bisimulation Relations from Path Extension Based Equivalence Checkers"],"prefix":"10.1109","volume":"43","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0605-630X","authenticated-orcid":false,"given":"Kunal","family":"Banerjee","sequence":"first","affiliation":[]},{"given":"Dipankar","family":"Sarkar","sequence":"additional","affiliation":[]},{"given":"Chittaranjan","family":"Mandal","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2006.10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2007.913390"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2011.5722241"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2209291.2209303"},{"article-title":"Scalable translation validation","year":"2014","author":"lezuo","key":"ref14"},{"key":"ref15","first-page":"75","article-title":"CASM:\n Implementing an abstract state machine based programming language","author":"lezuo","year":"0","journal-title":"Proc ACM SIGPLAN Conf Language Compiler Tool Embedded Syst"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2035542"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007506711786"},{"key":"ref18","first-page":"19","article-title":"Assigning meaning to programs","author":"floyd","year":"0","journal-title":"Proc 19th Symp Appl Math"},{"journal-title":"Compilers Princiles Techniques and Tools","year":"2006","author":"aho","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_44"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349314"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/43.62794"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2042889"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2483028.2483070"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/EURDAC.1995.527434"},{"key":"ref2","first-page":"1","article-title":"Credible compilation","author":"rinard","year":"0","journal-title":"Proc Int Conf Compiler Construction"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054170"},{"journal-title":"High-Level Synthesis Introduction to Chip and System Design","year":"1992","author":"gajski","key":"ref9"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/8067629\/07801117.pdf?arnumber=7801117","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:41:02Z","timestamp":1641987662000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7801117\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,1]]},"references-count":19,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tse.2016.2645687","relation":{},"ISSN":["0098-5589","1939-3520"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"}],"subject":[],"published":{"date-parts":[[2017,10,1]]}}}