{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:31:23Z","timestamp":1742920283463,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214608"},{"type":"electronic","value":"9783642214615"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21461-5_18","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T09:25:36Z","timestamp":1307697936000},"page":"274-288","source":"Crossref","is-referenced-by-count":5,"title":["SimGrid MC: Verification Support for a Multi-API Simulation Platform"],"prefix":"10.1007","author":[{"given":"Stephan","family":"Merz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Quinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian","family":"Rosa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"Algebraic Theory of Processes","author":"M. Hennessy","year":"1988","unstructured":"Hennessy, M.: Algebraic Theory of Processes. MIT Press, Cambridge (1988)"},{"key":"18_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-75329-9","volume-title":"A Primer in Petri Net Design","author":"W. Reisig","year":"1992","unstructured":"Reisig, W.: A Primer in Petri Net Design. Springer, Heidelberg (1992)"},{"issue":"5","key":"18_CR3","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker Spin. IEEE Trans. Softw. Eng.\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"18_CR4","volume-title":"Specifying Systems","author":"L. Lamport","year":"2002","unstructured":"Lamport, L.: Specifying Systems. Addison-Wesley, Boston (2002)"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K.: Model checking programs. Automated Software Engineering Journal, 3\u201312 (2000)","DOI":"10.1109\/ASE.2000.873645"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/1250734.1250755","volume-title":"Proceedings of the ACM SIGPLAN conference on Programming language design and implementation PLDI 2007","author":"C.E. Killian","year":"2007","unstructured":"Killian, C.E., Anderson, J.W., Braud, R., Jhala, R., Vahdat, A.M.: Mace: language support for building distributed systems. In: Proceedings of the ACM SIGPLAN conference on Programming language design and implementation PLDI 2007, pp. 179\u2013188. ACM, New York (2007)"},{"key":"18_CR7","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1145\/1375581.1375625","volume-title":"Proceedings of the ACM SIGPLAN conference on Programming language design and implementation PLDI 2008","author":"M. Musuvathi","year":"2008","unstructured":"Musuvathi, M., Qadeer, S.: Fair stateless model checking. In: Proceedings of the ACM SIGPLAN conference on Programming language design and implementation PLDI 2008, pp. 362\u2013371. ACM Press, New York (2008)"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Musuvathi, M., Park, D.Y.W., Chou, A., Engler, D.R., Dill, D.L.: CMC: A pragmatic approach to model checking real code. In: Proceedings of the Fifth Symposium on Operating Systems Design and Implementation, OSDI 2002 (2002)","DOI":"10.1145\/1060289.1060297"},{"issue":"1","key":"18_CR9","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1145\/1047659.1040315","volume":"40","author":"C. Flanagan","year":"2005","unstructured":"Flanagan, C., Godefroid, P.: Dynamic partial-order reduction for model checking software. SIGPLAN Not.\u00a040(1), 110\u2013121 (2005)","journal-title":"SIGPLAN Not."},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/1273647.1273657","volume-title":"Proceedings of the ACM workshop on Parallel and distributed systems: testing and debugging PADTAD 2007","author":"R. Palmer","year":"2007","unstructured":"Palmer, R., Gopalakrishnan, G., Kirby, R.M.: Semantics driven dynamic partial-order reduction of MPI-based parallel programs. In: Proceedings of the ACM workshop on Parallel and distributed systems: testing and debugging PADTAD 2007, pp. 43\u201353. ACM, New York (2007)"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Casanova, H., Legrand, A., Quinson, M.: SimGrid: a Generic Framework for Large-Scale Distributed Experiments. In: 10th IEEE International Conference on Computer Modeling and Simulation (March 2008)","DOI":"10.1109\/UKSIM.2008.28"},{"key":"18_CR12","first-page":"174","volume-title":"Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages POPL 1997","author":"P. Godefroid","year":"1997","unstructured":"Godefroid, P.: Model checking for programming languages using VeriSoft. In: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages POPL 1997, pp. 174\u2013186. ACM, New York (1997)"},{"issue":"4","key":"18_CR13","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/1594835.1504214","volume":"44","author":"A. Vo","year":"2009","unstructured":"Vo, A., Vakkalanka, S., DeLisi, M., Gopalakrishnan, G., Kirby, R.M., Thakur, R.: Formal verification of practical MPI programs. SIGPLAN Not.\u00a044(4), 261\u2013270 (2009)","journal-title":"SIGPLAN Not."},{"key":"18_CR14","volume-title":"Proceedings of the 16th IEEE international conference on Automated software engineering, ASE 2001","author":"R. Iosif","year":"2001","unstructured":"Iosif, R.: Exploiting heap symmetries in explicit-state model checking of software. In: Proceedings of the 16th IEEE international conference on Automated software engineering, ASE 2001, vol.\u00a0254, IEEE Computer Society, Washington (2001)"},{"key":"18_CR15","unstructured":"Rosa, C., Merz, S., Quinson, M.: A simple model of communication APIs \u2013 Application to dynamic partial-order reduction. In: 10th Intl. Workshop Automated Verification of Critical Systems, D\u00fcsseldorf, Germany, pp. 137\u2013152 (2010)"},{"key":"18_CR16","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1145\/964723.383071","volume":"31","author":"I. Stoica","year":"2001","unstructured":"Stoica, I., Morris, R., Karger, D., Kaashoek, M.F., Balakrishnan, H.: Chord: A scalable peer-to-peer lookup service for internet applications. SIGCOMM Comput. Commun. Rev.\u00a031, 149\u2013160 (2001)","journal-title":"SIGCOMM Comput. Commun. Rev."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21461-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T10:52:54Z","timestamp":1553770374000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21461-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214608","9783642214615"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21461-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}