conference paper published yes Bernhard Kragl author 320FC952-F248-11E8-B48F-1D18A9856A870000-0001-7745-9117 Shaz Qadeer author Thomas A Henzinger author 40876CD8-F248-11E8-B48F-1D18A9856A870000-0002-2985-7724 ToHe department Formal methods for the design and analysis of complex systems project 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. https://research-explorer.ista.ac.at/download/8195/8201/2020_LNCS_Kragl.pdf application/pdfno Springer Nature2020 eng 0302-9743 1611-3349 9783030532871 00069527600001410.1007/978-3-030-53288-8_14 12224275-298 https://research-explorer.ista.ac.at/record/8332 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> B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298. 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>. 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>. Kragl B, Qadeer S, Henzinger TA. 2020. Refinement for structured concurrent programs. Computer Aided Verification. , LNCS, vol. 12224, 275–298. 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. 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> 81952020-08-03T11:45:35Z2026-04-08T07:23:52Z