Refinement for structured concurrent programs

DOI10.1007/978-3-030-53288-8_14MaRDI QIDQ2225107zbMATH OpenOpenAlexFDO

Authors Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger

Publication date 4 February 2021

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-53288-8_14

Mathematics Subject Classification ID

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

Recommendations

• Layered concurrent programs
• Compositional verification of termination-preserving refinement of concurrent programs
• Specification and verification of concurrent programs through refinements
• Stepwise refinement and concurrency: The finite-state case
• Verification and refinement with fine-grained action-based concurrent objects

Cited in

(10)

• scientific article; zbMATH DE number 1830933 (Why is no real title available?)
• Synchronizing the asynchronous
• Specification and verification of concurrent programs through refinements
• Layered concurrent programs
• Theory refinement for program verification
• Compositional verification of termination-preserving refinement of concurrent programs
• Non-monotonic refinement of control abstraction for concurrent programs
• Stepwise refinement of heap-manipulating code in Chalice
• Automatic verification of determinism for structured parallel programs
• Embedded domain specific verifiers

This page was built for publication: Refinement for structured concurrent programs

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