scientific article; zbMATH DE number 1956564

MaRDI QIDQ4417904zbMATH OpenFDO

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

Mathematics Subject Classification ID

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

Cited in

(15)

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

Describes a project that uses

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)