{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T10:34:31Z","timestamp":1725878071551},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319522333"},{"type":"electronic","value":"9783319522340"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-52234-0_5","type":"book-chapter","created":{"date-parts":[[2017,1,11]],"date-time":"2017-01-11T04:52:06Z","timestamp":1484110326000},"page":"73-90","source":"Crossref","is-referenced-by-count":10,"title":["Static Analysis of Communicating Processes Using Symbolic Transducers"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Botbol","sequence":"first","affiliation":[]},{"given":"Emmanuel","family":"Chailloux","sequence":"additional","affiliation":[]},{"given":"Tristan","family":"Le Gall","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,1,12]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-540-28644-8_3","volume-title":"CONCUR 2004 - Concurrency Theory","author":"PA Abdulla","year":"2004","unstructured":"Abdulla, P.A., Jonsson, B., Nilsson, M., Saksena, M.: A survey of regular model checking. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 35\u201348. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-28644-8_3"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Botbol, V., Chailloux, E., Le Gall, T.: Static analysis of communicating processes using symbolic transducers (extended version). arXiv:abs\/1611.07812 (2016)","DOI":"10.1007\/978-3-319-52234-0_5"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/978-3-540-27813-9_29","volume-title":"Computer Aided Verification","author":"A Bouajjani","year":"2004","unstructured":"Bouajjani, A., Habermehl, P., Vojnar, T.: Abstract regular model checking. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 372\u2013386. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-27813-9_29"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/BFb0039704","volume-title":"Formal Methods in Programming and Their Applications","author":"F Bourdoncle","year":"1993","unstructured":"Bourdoncle, F.: Efficient chaotic iteration strategies with widenings. In: Bj\u00f8rner, D., Broy, M., Pottosin, I.V. (eds.) Formal Methods in Programming and Their Applications. LNCS, vol. 735, pp. 128\u2013141. Springer, Heidelberg (1993)"},{"key":"5_CR5","unstructured":"Carre, J.-L., Hymans, C.: From Single-thread to Multithreaded: An Efficient Static Analysis Algorithm. arXiv:abs\/0910.5833 (2009)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of POPL 1977: The 4th ACM Symposium on Principles of Programming Languages, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: Conference Record of POPL 1978: The 5th ACM Symposium on Principles of Programming Languages, pp. 84\u201396 (1978)","DOI":"10.1145\/512760.512770"},{"key":"5_CR8","unstructured":"Feret, J.: Partitioning the threads of a mobile system. arXiv:0802.0188 (2008)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Ferrara, P.: Checkmate: a generic static analyzer of java multithreaded programs. In: 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, pp. 169\u2013178, November 2009","DOI":"10.1109\/SEFM.2009.20"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-74061-2_4","volume-title":"Static Analysis","author":"T Le Gall","year":"2007","unstructured":"Le Gall, T., Jeannet, B.: Lattice automata: a representation for languages on infinite alphabets, and some applications to verification. In: Nielson, H.R., Fil\u00e9, G. (eds.) SAS 2007. LNCS, vol. 4634, pp. 52\u201368. Springer, Berlin, Heidelberg (2007). doi: 10.1007\/978-3-540-74061-2_4"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1007\/978-3-642-02658-4_52","volume-title":"Computer Aided Verification","author":"B Jeannet","year":"2009","unstructured":"Jeannet, B., Min\u00e9, A.: Apron: a library of numerical abstract domains for static analysis. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 661\u2013667. Springer, Berlin, Heidelberg (2009). doi: 10.1007\/978-3-642-02658-4_52"},{"issue":"3","key":"5_CR12","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1007\/s00165-014-0326-7","volume":"27","author":"F Kirchner","year":"2015","unstructured":"Kirchner, F., Kosmatov, N., Prevosto, V., Signoles, J., Yakobowski, B.: Frama-C: a software analysis perspective. Formal Aspects Comput. 27(3), 573\u2013609 (2015)","journal-title":"Formal Aspects Comput."},{"issue":"1","key":"5_CR13","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s10990-006-8609-1","volume":"19","author":"A Min\u00e9","year":"2006","unstructured":"Min\u00e9, A.: The octagon abstract domain. High. Order Symbol. Comput. 19(1), 31\u2013100 (2006)","journal-title":"High. Order Symbol. Comput."},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-642-54013-4_3","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"A Min\u00e9","year":"2014","unstructured":"Min\u00e9, A.: Relational thread-modular static value analysis by abstract interpretation. In: McMillan, K.L., Rival, X. (eds.) VMCAI 2014. LNCS, vol. 8318, pp. 39\u201358. Springer, Heidelberg (2014). doi: 10.1007\/978-3-642-54013-4_3"},{"key":"5_CR15","volume-title":"MPI-The Complete Reference: The MPI Core","author":"M Snir","year":"1998","unstructured":"Snir, M., Otto, S., Huss-Lederman, S., Walker, D., Dongarra, J.: MPI-The Complete Reference: The MPI Core, vol. 1, 2nd edn. MIT Press, Cambridge (1998)","edition":"2"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Veanes, M., Hooimeijer, P., Livshits, B., Molnar, D., Bj\u00f8rner, N.: Symbolic finite state transducers: algorithms and applications. In: Conference Record of POPL 2012: The 39th ACM Symposium on Principles of Programming Languages, pp. 137\u2013150 (2012)","DOI":"10.1145\/2103656.2103674"},{"issue":"4","key":"5_CR17","doi-asserted-by":"crossref","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. ACM Sigplan Not. 44(4), 261\u2013270 (2009)","journal-title":"ACM Sigplan Not."}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-52234-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T11:09:31Z","timestamp":1568718571000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-52234-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319522333","9783319522340"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-52234-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}