{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:24:22Z","timestamp":1725791062080},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642548611"},{"type":"electronic","value":"9783642548628"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54862-8_52","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T13:33:34Z","timestamp":1395408814000},"page":"599-604","source":"Crossref","is-referenced-by-count":3,"title":["Bounds2: A Tool for Compositional Multi-parametrised Verification"],"prefix":"10.1007","author":[{"given":"Antti","family":"Siirtola","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"52_CR1","doi-asserted-by":"crossref","unstructured":"Roscoe, A.W.: Understanding Concurrent Systems. Springer (2010)","DOI":"10.1007\/978-1-84882-258-0"},{"issue":"5","key":"52_CR2","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/503271.503226","volume":"26","author":"L. Alfaro De","year":"2001","unstructured":"De Alfaro, L., Henzinger, T.: Interface automata. ACM SIGSOFT Software Engineering Notes\u00a026(5), 109\u2013120 (2001)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"52_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-642-12002-2_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S.S. Bauer","year":"2010","unstructured":"Bauer, S.S., Mayer, P., Schroeder, A., Hennicker, R.: On weak modal compatibility, refinement, and the MIO workbench. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol.\u00a06015, pp. 175\u2013189. Springer, Heidelberg (2010)"},{"key":"52_CR4","unstructured":"Siirtola, A.: Bounds website, http:\/\/www.cs.hut.fi\/u\/siirtoa1\/bounds"},{"key":"52_CR5","doi-asserted-by":"crossref","unstructured":"Siirtola, A.: Bounds: from parameterised to finite-state verification. In: Caillaud, B., Carmona, J., Hiraishi, K. (eds.) ACSD 2011, pp. 31\u201335. IEEE (2011)","DOI":"10.1109\/ACSD.2011.24"},{"key":"52_CR6","doi-asserted-by":"crossref","unstructured":"Siirtola, A.: Algorithmic Multiparameterised Verification of Safety Properties. Process Algebraic Approach. PhD thesis, University of Oulu (2010)","DOI":"10.1007\/978-3-642-16901-4_22"},{"key":"52_CR7","doi-asserted-by":"crossref","unstructured":"Siirtola, A., Heljanko, K.: Parametrised compositional verification with multiple process and data types. In: Carmona, J., Lazarescu, M.T., Pietkiewicz-Koutny, M. (eds.) ACSD 2013, pp. 67\u201376. IEEE (2013)","DOI":"10.1109\/ACSD.2013.9"},{"key":"52_CR8","doi-asserted-by":"crossref","unstructured":"Siirtola, A.: Parametrised interface automata (unpublished draft) (2013), http:\/\/www.cs.hut.fi\/u\/siirtoa1\/papers\/pia_paper.pdf","DOI":"10.1109\/ACSD.2014.26"},{"key":"52_CR9","unstructured":"Grama, A., Gupta, A., Karypis, G., Kumar, V.: Introduction to Parallel Computing. Addison Wesley (2003)"},{"key":"52_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/3-540-46002-0_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Delzanno","year":"2002","unstructured":"Delzanno, G., Raskin, J.-F., Van Begin, L.: Towards the automated verification of multithreaded Java programs. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 173\u2013187. Springer, Heidelberg (2002)"},{"key":"52_CR11","doi-asserted-by":"crossref","unstructured":"Ghilardi, S., Ranise, S.: Backward reachability of array-based systems by SMT solving: termination and invariant synthesis. Log. Meth. Comput. Sci.\u00a06(4) (2010)","DOI":"10.2168\/LMCS-6(4:10)2010"},{"key":"52_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1007\/978-3-642-14295-6_55","volume-title":"Computer Aided Verification","author":"A. Kaiser","year":"2010","unstructured":"Kaiser, A., Kroening, D., Wahl, T.: Dynamic cutoff detection in parameterized concurrent programs. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 645\u2013659. Springer, Heidelberg (2010)"},{"key":"52_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1007\/978-3-642-14295-6_54","volume-title":"Computer Aided Verification","author":"S. La Torre","year":"2010","unstructured":"La Torre, S., Madhusudan, P., Parlato, G.: Model-checking parameterized concurrent programs using linear interfaces. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 629\u2013644. Springer, Heidelberg (2010)"},{"key":"52_CR14","doi-asserted-by":"crossref","unstructured":"Yang, Q., Li, M.: A cut-off approach for bounded verification of parameterized systems. In: Kramer, J., Bishop, J., Devanbu, P.T., Uchitel, S. (eds.) ICSE 2010, pp. 345\u2013354. ACM (2010)","DOI":"10.1145\/1806799.1806851"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54862-8_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T18:37:08Z","timestamp":1648665428000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54862-8_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548611","9783642548628"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54862-8_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}