{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:41:31Z","timestamp":1729644091438,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/acsd.2016.17","type":"proceedings-article","created":{"date-parts":[[2017,2,7]],"date-time":"2017-02-07T20:57:12Z","timestamp":1486501032000},"page":"55-64","source":"Crossref","is-referenced-by-count":2,"title":["An Approach to Verification of MPI Applications Defined in a High-Level Model"],"prefix":"10.1109","author":[{"given":"Ondrej","family":"Meca","sequence":"first","affiliation":[]},{"given":"Stanislav","family":"Bohm","sequence":"additional","affiliation":[]},{"given":"Marek","family":"Behalek","sequence":"additional","affiliation":[]},{"given":"Petr","family":"Jancar","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06410-9_19"},{"journal-title":"Mpise Symbolic execution of mpi programs","year":"2014","author":"fu","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_60"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","article-title":"Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems","volume":"9","author":"jensen","year":"2007","journal-title":"International Journal on Software Tools for Technology Transfer"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref14"},{"journal-title":"Partial-Order Methods for the Verification of Concurrent Systems An Approach to the State-Explosion Problem","year":"1996","author":"godefroid","key":"ref15"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"377","DOI":"10.3233\/FI-2011-613","article-title":"Can stubborn sets be optimal?","volume":"113","author":"valmari","year":"2011","journal-title":"Fundam Inf"},{"journal-title":"On the stubborn set method in reduced state space generation","year":"1998","author":"varpaaniemi","key":"ref17"},{"journal-title":"Designing and Building Parallel Programs Concepts and Tools for Parallel Software Engineering","year":"1995","author":"foster","key":"ref18"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56922-7_34"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-53863-1_36"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-011-0100-7"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75416-9_44"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1345206.1345258"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"476","DOI":"10.1007\/3-540-63166-6_52","volume":"1254","author":"godefroid","year":"1997","journal-title":"Computer Aided Venfication ser Lecture Notes in Computer Science"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07734-5_22"},{"journal-title":"Unifying framework for development of message-passing applications","year":"2013","author":"bohm","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2010.7"}],"event":{"name":"2016 16th International Conference on Application of Concurrency to System Design (ACSD)","start":{"date-parts":[[2016,6,19]]},"location":"Torun","end":{"date-parts":[[2016,6,24]]}},"container-title":["2016 16th International Conference on Application of Concurrency to System Design (ACSD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7841453\/7842485\/07842501.pdf?arnumber=7842501","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,2]],"date-time":"2020-10-02T01:30:38Z","timestamp":1601602238000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7842501\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/acsd.2016.17","relation":{},"subject":[],"published":{"date-parts":[[2016,6]]}}}