conference paper published yes Bernhard Kragl author 320FC952-F248-11E8-B48F-1D18A9856A870000-0001-7745-9117 Shaz Qadeer author PiskacRuzica editor Michael W.Whalen editor ToHe department FMCAD: Formal Methods in Computer-Aided Design Formal methods for the design and analysis of complex systems project Civl is a static verifier for concurrent programs designed around the conceptual framework of layered refinement, which views the task of verifying a program as a sequence of program simplification steps each justified by its own invariant. Civl verifies a layered concurrent program that compactly expresses all the programs in this sequence and the supporting invariants. This paper presents the design and implementation of the Civl verifier. https://research-explorer.ista.ac.at/download/10688/10689/2021_FCAD2021_Kragl.pdf application/pdfno https://creativecommons.org/licenses/by/4.0/ TU Wien Academic Press2021Virtual eng 978-3-85448-046-410.34727/2021/isbn.978-3-85448-046-4_23 2143–152 B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152. Kragl, Bernhard, and Shaz Qadeer. “The Civl Verifier.” <i>Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design</i>, edited by Piskac Ruzica and Michael W. Whalen, vol. 2, TU Wien Academic Press, 2021, pp. 143–152, doi:<a href="https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23">10.34727/2021/isbn.978-3-85448-046-4_23</a>. Kragl B, Qadeer S. 2021. The Civl verifier. Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, Conference Series, vol. 2, 143–152. Kragl, Bernhard, and Shaz Qadeer. “The Civl Verifier.” In <i>Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design</i>, edited by Piskac Ruzica and Michael W. Whalen, 2:143–152. TU Wien Academic Press, 2021. <a href="https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23">https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23</a>. Kragl B, Qadeer S. The Civl verifier. In: Ruzica P, Whalen MW, eds. <i>Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design</i>. Vol 2. TU Wien Academic Press; 2021:143–152. doi:<a href="https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23">10.34727/2021/isbn.978-3-85448-046-4_23</a> B. Kragl and S. Qadeer, “The Civl verifier,” in <i>Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design</i>, Virtual, 2021, vol. 2, pp. 143–152. Kragl, B., &#38; Qadeer, S. (2021). The Civl verifier. In P. Ruzica &#38; M. W. Whalen (Eds.), <i>Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design</i> (Vol. 2, pp. 143–152). Virtual: TU Wien Academic Press. <a href="https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23">https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23</a> 106882022-01-26T08:01:30Z2025-04-15T06:25:56Z