Refinement for structured concurrent programs LNCS Kragl, Bernhard ; https://orcid.org/0000-0001-7745-9117 Qadeer, Shaz Henzinger, Thomas A ; https://orcid.org/0000-0002-2985-7724 ddc:000 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. Springer Nature 2020 info:eu-repo/semantics/conferenceObject doc-type:ConferenceObject ConferenceObject http://purl.org/coar/resource_type/c_5794 https://research-explorer.ista.ac.at/record/8195 https://research-explorer.ista.ac.at/download/8195/8201 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> eng info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-53288-8_14 info:eu-repo/semantics/altIdentifier/issn/0302-9743 info:eu-repo/semantics/altIdentifier/e-issn/1611-3349 info:eu-repo/semantics/altIdentifier/isbn/9783030532871 info:eu-repo/semantics/altIdentifier/e-isbn/9783030532888 info:eu-repo/semantics/altIdentifier/wos/000695276000014 info:eu-repo/semantics/openAccess