{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:18:04Z","timestamp":1725491884260},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540754152"},{"type":"electronic","value":"9783540754169"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75416-9_45","type":"book-chapter","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T01:37:56Z","timestamp":1189733876000},"page":"335-343","source":"Crossref","is-referenced-by-count":1,"title":["Correctness Debugging of Message Passing Programs Using Model Verification Techniques"],"prefix":"10.1007","author":[{"given":"Robert","family":"Lovas","sequence":"first","affiliation":[]},{"given":"Peter","family":"Kacsuk","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"45_CR1","first-page":"417","volume":"17","author":"P. Kacsuk","year":"1998","unstructured":"Kacsuk, P., et al.: GRADE: A Graphical Programming Environment for Multicomputers. Computer and Artificial Intelligence.\u00a017(5), 417\u2013427 (1998)","journal-title":"Computer and Artificial Intelligence."},{"issue":"6","key":"45_CR2","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1016\/S0167-739X(99)00074-6","volume":"16","author":"P. Kacsuk","year":"2000","unstructured":"Kacsuk, P.: Systematic Macrostep Debugging of Message Passing Parallel Programs. Future Generation Computer Systems\u00a016(6), 609\u2013624 (2000)","journal-title":"Future Generation Computer Systems"},{"key":"45_CR3","doi-asserted-by":"crossref","unstructured":"Tsiatsoulis, Z., Dozsa, G., Cotronis, Y., Kacsuk, P.: Associating Composition of Petri Net Specifications with Application Designs in Grade. In: Proc. of the Seventh Euromicro Workshop on Parallel and Distributed Processing, Funchal, Portugal, pp. 204\u2013211 (1999)","DOI":"10.1109\/EMPDP.1999.746670"},{"key":"45_CR4","doi-asserted-by":"crossref","unstructured":"Lovas, R., V\u00e9csei, B.: Integration of formal verification and debugging methods in P-GRADE environment. In: Distributed and Parallel Systems: Cluster and Grid Computing. Kluwer International Series in Engineering and Computer Science, vol.\u00a0777, pp. 83\u201392 (2004)","DOI":"10.1007\/0-387-23096-3_10"},{"key":"45_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/BFb0023729","volume-title":"Computer-Aided Verification","author":"A. Valmari","year":"1991","unstructured":"Valmari, A.: A stubborn attack on state explosion. In: Clarke, E., Kurshan, R.P. (eds.) CAV 1990. LNCS, vol.\u00a0531, pp. 156\u2013165. Springer, Heidelberg (1991)"},{"issue":"1","key":"45_CR6","first-page":"279","volume":"3","author":"D. Peled","year":"1999","unstructured":"Peled, D., Clarke, E.M., Grumberg, O., Minea, M., Peled, D.: State space reduction using partial order techniques. Software Tools for Technology Transfer\u00a03(1), 279\u2013287 (1999)","journal-title":"Software Tools for Technology Transfer"},{"key":"45_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/3-540-49164-3_47","volume-title":"Parallel Computation","author":"D. Kranzlm\u00fcller","year":"1999","unstructured":"Kranzlm\u00fcller, D., Volkert, J.: NOPE: A Nondeterministic Program Evaluator. In: Zinterhof, P., Vajtersic, M., Uhl, A. (eds.) ACPC 1999 and ParNum 1999. LNCS, vol.\u00a01557, pp. 490\u2013499. Springer, Heidelberg (1999)"},{"key":"45_CR8","doi-asserted-by":"crossref","unstructured":"Kranzlm\u00fcller, D., Rimnac, A.: Parallel Program Debugging with MAD - A Practical Approach. In: International Conference on Computational Science 2003, pp. 201\u2013212 (2003)","DOI":"10.1007\/3-540-44864-0_21"},{"key":"45_CR9","first-page":"334","volume-title":"Tools and Integrated Environments, ch. 16","author":"H. Krawczyk","year":"2001","unstructured":"Krawczyk, H., et al.: STEPS - a Tool for Structural Testing of Parallel Software. In the book: Parallel Program Development for Cluster Computing: Methodology. In: Tools and Integrated Environments, ch. 16, pp. 334\u2013354. Nova Science Publishers, New York (2001)"},{"key":"45_CR10","first-page":"292","volume-title":"Tools and Integrated Environments, ch. 13","author":"J.C. Cunha","year":"2001","unstructured":"Cunha, J.C., et al.: The DDBG Distributed Debugger. In the book: Parallel Program Development for Cluster Computing: Methodology. In: Tools and Integrated Environments, ch. 13, pp. 292\u2013303. Nova Science Publishers, New York (2001)"},{"key":"45_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/3-540-45706-2_12","volume-title":"Euro-Par 2002. Parallel Processing","author":"J. Kovacs","year":"2002","unstructured":"Kovacs, J., et al.: Integrating Temporal Assertions into a Parallel Debugger. In: Monien, B., Feldmann, R.L. (eds.) Euro-Par 2002. LNCS, vol.\u00a02400, pp. 113\u2013120. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Recent Advances in Parallel Virtual Machine and Message Passing Interface"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75416-9_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:20:33Z","timestamp":1558261233000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75416-9_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540754152","9783540754169"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75416-9_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}