Explicit stabilisation for modular rely-guarantee reasoning

DOI10.1007/978-3-642-11957-6_32MaRDI QIDQ3558252zbMATH OpenOpenAlexFDO

Authors John Wickerson, Mike Dodds, Matthew J. Parkinson

Publication date 4 May 2010

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11957-6_32

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Towards Automatic Stability Analysis for Rely-Guarantee Proofs
• On rely-guarantee reasoning
• scientific article; zbMATH DE number 1956564
• Local rely-guarantee reasoning
• The Rely-Guarantee method for verifying shared variable concurrent programs

Cited in

(8)

• Towards a formal treatment of implicit invocation using rely/guarantee reasoning
• Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
• On rely-guarantee reasoning
• Towards Automatic Stability Analysis for Rely-Guarantee Proofs
• Local rely-guarantee reasoning
• Specifying and reasoning about shared-variable concurrency
• A generalised union of rely-guarantee and separation logic using permission algebras
• ConcurrentHOL

This page was built for publication: Explicit stabilisation for modular rely-guarantee reasoning

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