A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Refinement for Structured Concurrent Programs
[chapter]
2020
Lecture Notes in Computer Science
Preserved Fulltext
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.
doi:10.1007/978-3-030-53288-8_14
fatcat:z7qgrvgrljempey635z2osobti