--- res: bibo_abstract: - "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.@eng" bibo_authorlist: - foaf_Person: foaf_givenName: Bernhard foaf_name: Kragl, Bernhard foaf_surname: Kragl foaf_workInfoHomepage: http://www.librecat.org/personId=320FC952-F248-11E8-B48F-1D18A9856A87 orcid: 0000-0001-7745-9117 - foaf_Person: foaf_givenName: Shaz foaf_name: Qadeer, Shaz foaf_surname: Qadeer bibo_doi: 10.34727/2021/isbn.978-3-85448-046-4_23 bibo_volume: 2 dct_date: 2021^xs_gYear dct_isPartOf: - http://id.crossref.org/issn/978-3-85448-046-4 dct_language: eng dct_publisher: TU Wien Academic Press@ dct_title: The Civl verifier@ ...