Layered concurrent programs

DOI10.1007/978-3-319-96145-3_5MaRDI QIDQ6044999zbMATH OpenOpenAlexFDO

Authors Bernhard Kragl, Shaz Qadeer

Publication date 26 May 2023

Published in Computer Aided Verification (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-96145-3_5

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Refinement for structured concurrent programs
• Modular verification for shared-variable concurrent programs
• Compositionality Entails Sequentializability
• Specification and verification of concurrent programs through refinements
• A calculus of atomic actions

Cited in

(10)

• Verifying the correctness of distributed systems via mergeable parallelism
• Refinement for structured concurrent programs
• Decomposing data structure commutativity proofs with \(mn\)-differencing
• Specification and verification of concurrent programs through refinements
• Deep specifications and certified abstraction layers
• A Coq library for verification of concurrent programs
• Elucidating concurrent algorithms via layers of abstraction and reification
• Modular verification of concurrent programs via sequential model checking
• Commutativity for concurrent program termination proofs
• Choose your proofs: commutativity and symmetry for smarter reasoning

This page was built for publication: Layered concurrent programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6044999)