---
_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. <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>'
  apa: '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>'
  chicago: 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>.
  ieee: 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.
  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.” <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>.
  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
corr_author: '1'
date_created: 2022-01-26T08:01:30Z
date_published: 2021-10-01T00:00:00Z
date_updated: 2025-04-15T06:25:56Z
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: Formal methods for the design and analysis of complex systems
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'
scopus_import: '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'
...