{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:15:16Z","timestamp":1752228916385,"version":"3.37.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,11]]},"DOI":"10.1109\/fmcad.2009.5351145","type":"proceedings-article","created":{"date-parts":[[2009,12,11]],"date-time":"2009-12-11T18:55:16Z","timestamp":1260557716000},"page":"41-44","source":"Crossref","is-referenced-by-count":13,"title":["MCC: A runtime verification tool for MCAPI user applications"],"prefix":"10.1109","author":[{"given":"Subodh","family":"Sharma","sequence":"first","affiliation":[]},{"given":"Ganesh","family":"Gopalakrishnan","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Mercer","sequence":"additional","affiliation":[]},{"given":"Jim","family":"Holt","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"3"},{"year":"0","key":"2"},{"key":"10","first-page":"66","volume":"cav 2008","author":"vakkalanka","year":"0","journal-title":"Dynamic verification of MPI programs with reductions in presence of split operations and relaxed orderings"},{"year":"0","key":"1"},{"year":"0","key":"7"},{"key":"6","first-page":"58","article-title":"Distributed Dynamic Pratial Order Reduction Based Verification","author":"yang","year":"2007","journal-title":"SPIN"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1145\/1040305.1040315","article-title":"Dynamic partial-order reduction for model checking software","volume":"110 121","author":"flanagan","year":"2005","journal-title":"POPL"},{"key":"4","first-page":"77","article-title":"Software Model Checking: TheVeriSoft Approach","volume":"26 2","author":"godefroid","year":"2005","journal-title":"FMSD"},{"year":"0","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250785"},{"journal-title":"Model checking","year":"2000","author":"clarke","key":"11"}],"event":{"name":"2009 Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2009,11,15]]},"location":"Austin, TX, USA","end":{"date-parts":[[2009,11,18]]}},"container-title":["2009 Formal Methods in Computer-Aided Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5344684\/5351113\/05351145.pdf?arnumber=5351145","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T19:41:27Z","timestamp":1739475687000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5351145\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/fmcad.2009.5351145","relation":{},"subject":[],"published":{"date-parts":[[2009,11]]}}}