scientific article; zbMATH DE number 1956564

zbMATH Open1032.68130MaRDI QIDQ4417904FDOQ4417904

Authors: Leonor Prensa Nieto 

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2618/26180348.htm

Title of this publication is not available (Why is that?)

Recommendations

• The Rely-Guarantee method for verifying shared variable concurrent programs
• On rely-guarantee reasoning
• Towards Automatic Stability Analysis for Rely-Guarantee Proofs
• A Structural Proof of the Soundness of Rely/guarantee Rules
• scientific article; zbMATH DE number 3938541

Mathematics Subject Classification ID

Cited In (13)

• Verifying a concurrent garbage collector with a rely-guarantee methodology
• Compositional verification of a communication protocol for a remotely operated aircraft
• Proving linearizability with temporal logic
• Balancing expressiveness in formal approaches to concurrency
• Observation-based concurrent program logic for relaxed memory consistency models
• A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
• On rely-guarantee reasoning
• Explicit stabilisation for modular rely-guarantee reasoning
• Verifying a concurrent garbage collector using a rely-guarantee methodology
• CSimpl: a rely-guarantee-based framework for verifying concurrent programs
• Probabilistic rely-guarantee calculus
• A parametric rely-guarantee reasoning framework for concurrent reactive systems
• Specifying and reasoning about shared-variable concurrency

Uses Software

• Isabelle
• Isabelle/HOL

This page was built for publication:

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