--- _id: '10688' abstract: - lang: eng text: "Civl is a static verifier for concurrent programs designed around the conceptual framework of layered refinement,\r\nwhich 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." acknowledgement: This research was performed while Bernhard Kragl was at IST Austria, supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award). alternative_title: - Conference Series article_processing_charge: No author: - first_name: Bernhard full_name: Kragl, Bernhard id: 320FC952-F248-11E8-B48F-1D18A9856A87 last_name: Kragl orcid: 0000-0001-7745-9117 - first_name: Shaz full_name: Qadeer, Shaz last_name: Qadeer citation: ama: 'Kragl B, Qadeer S. The Civl verifier. In: Ruzica P, Whalen MW, eds. Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design. Vol 2. TU Wien Academic Press; 2021:143–152. doi:10.34727/2021/isbn.978-3-85448-046-4_23' apa: 'Kragl, B., & Qadeer, S. (2021). The Civl verifier. In P. Ruzica & M. W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design (Vol. 2, pp. 143–152). Virtual: TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23' chicago: Kragl, Bernhard, and Shaz Qadeer. “The Civl Verifier.” In Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, edited by Piskac Ruzica and Michael W. Whalen, 2:143–152. TU Wien Academic Press, 2021. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23. ieee: B. Kragl and S. Qadeer, “The Civl verifier,” in Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, Virtual, 2021, vol. 2, pp. 143–152. ista: '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.' mla: Kragl, Bernhard, and Shaz Qadeer. “The Civl Verifier.” Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, edited by Piskac Ruzica and Michael W. Whalen, vol. 2, TU Wien Academic Press, 2021, pp. 143–152, doi:10.34727/2021/isbn.978-3-85448-046-4_23. short: 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. conference: end_date: 2021-10-22 location: Virtual name: 'FMCAD: Formal Methods in Computer-Aided Design' start_date: 2021-10-20 date_created: 2022-01-26T08:01:30Z date_published: 2021-10-01T00:00:00Z date_updated: 2022-01-26T08:20:41Z day: '01' ddc: - '000' department: - _id: ToHe doi: 10.34727/2021/isbn.978-3-85448-046-4_23 editor: - first_name: Piskac full_name: Ruzica, Piskac last_name: Ruzica - first_name: Michael W. full_name: Whalen, Michael W. last_name: Whalen file: - access_level: open_access checksum: 35438ac9f9750340b7f8ae4ae3220d9f content_type: application/pdf creator: cchlebak date_created: 2022-01-26T08:04:29Z date_updated: 2022-01-26T08:04:29Z file_id: '10689' file_name: 2021_FCAD2021_Kragl.pdf file_size: 390555 relation: main_file success: 1 file_date_updated: 2022-01-26T08:04:29Z has_accepted_license: '1' intvolume: ' 2' language: - iso: eng license: https://creativecommons.org/licenses/by/4.0/ month: '10' oa: 1 oa_version: Published Version page: 143–152 project: - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: The Wittgenstein Prize publication: Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design publication_identifier: isbn: - 978-3-85448-046-4 publication_status: published publisher: TU Wien Academic Press quality_controlled: '1' status: public title: The Civl verifier tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 volume: 2 year: '2021' ...