[{"volume":12224,"oa":1,"related_material":{"record":[{"id":"8332","relation":"dissertation_contains","status":"public"}]},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"short":"B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.","ama":"Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs. In: <i>Computer Aided Verification</i>. Vol 12224. Springer Nature; 2020:275-298. doi:<a href=\"https://doi.org/10.1007/978-3-030-53288-8_14\">10.1007/978-3-030-53288-8_14</a>","ista":"Kragl B, Qadeer S, Henzinger TA. 2020. Refinement for structured concurrent programs. Computer Aided Verification. , LNCS, vol. 12224, 275–298.","ieee":"B. Kragl, S. Qadeer, and T. A. Henzinger, “Refinement for structured concurrent programs,” in <i>Computer Aided Verification</i>, 2020, vol. 12224, pp. 275–298.","apa":"Kragl, B., Qadeer, S., &#38; Henzinger, T. A. (2020). Refinement for structured concurrent programs. In <i>Computer Aided Verification</i> (Vol. 12224, pp. 275–298). Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-53288-8_14\">https://doi.org/10.1007/978-3-030-53288-8_14</a>","chicago":"Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Refinement for Structured Concurrent Programs.” In <i>Computer Aided Verification</i>, 12224:275–98. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-3-030-53288-8_14\">https://doi.org/10.1007/978-3-030-53288-8_14</a>.","mla":"Kragl, Bernhard, et al. “Refinement for Structured Concurrent Programs.” <i>Computer Aided Verification</i>, vol. 12224, Springer Nature, 2020, pp. 275–98, doi:<a href=\"https://doi.org/10.1007/978-3-030-53288-8_14\">10.1007/978-3-030-53288-8_14</a>."},"publication":"Computer Aided Verification","type":"conference","date_created":"2020-08-03T11:45:35Z","file_date_updated":"2020-08-06T08:14:54Z","quality_controlled":"1","date_updated":"2026-04-08T07:23:52Z","language":[{"iso":"eng"}],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)"},"ddc":["000"],"intvolume":"     12224","month":"07","publication_identifier":{"issn":["0302-9743"],"eisbn":["9783030532888"],"isbn":["9783030532871"],"eissn":["1611-3349"]},"department":[{"_id":"ToHe"}],"_id":"8195","isi":1,"has_accepted_license":"1","page":"275-298","license":"https://creativecommons.org/licenses/by/4.0/","alternative_title":["LNCS"],"file":[{"access_level":"open_access","success":1,"file_id":"8201","file_size":804237,"date_created":"2020-08-06T08:14:54Z","content_type":"application/pdf","date_updated":"2020-08-06T08:14:54Z","file_name":"2020_LNCS_Kragl.pdf","relation":"main_file","creator":"dernst"}],"day":"14","article_processing_charge":"No","author":[{"last_name":"Kragl","first_name":"Bernhard","full_name":"Kragl, Bernhard","orcid":"0000-0001-7745-9117","id":"320FC952-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Shaz","full_name":"Qadeer, Shaz","last_name":"Qadeer"},{"last_name":"Henzinger","full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724"}],"publisher":"Springer Nature","date_published":"2020-07-14T00:00:00Z","corr_author":"1","status":"public","publication_status":"published","abstract":[{"lang":"eng","text":"This paper presents a foundation for refining concurrent programs with structured control flow. The verification problem is decomposed into subproblems that aid interactive program development, proof reuse, and automation. The formalization in this paper is the basis of a new design and implementation of the Civl verifier."}],"year":"2020","scopus_import":"1","project":[{"grant_number":"Z211","name":"Formal methods for the design and analysis of complex systems","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"external_id":{"isi":["000695276000014"]},"title":"Refinement for structured concurrent programs","doi":"10.1007/978-3-030-53288-8_14","oa_version":"Published Version","acknowledgement":"Bernhard Kragl and Thomas A. Henzinger were supported by\r\nthe Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award)."}]