Explicit Stabilisation for Modular Rely-Guarantee Reasoning

DOI10.1007/978-3-642-11957-6_32zbMath1260.68120OpenAlexW2111593536MaRDI QIDQ3558252

Matthew J. Parkinson, Mike Dodds, John Wickerson

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)

Related Items (3)

On Rely-Guarantee Reasoning ⋮ Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example ⋮ Specifying and reasoning about shared-variable concurrency

This page was built for publication: Explicit Stabilisation for Modular Rely-Guarantee Reasoning