… rely-guarantee technique allows one to reason compositionally about concurrent programs.
To handle interference the technique … the algebraic properties of the general rely-guarantee …

… program reasoning techniques such as rely-guarantee. … of those concurrent reasoning
techniques. Schirmer et al. have solved a … of the proof system to introduce properties proven at the …

… extension of rely-guarantee, that is, we establish some basic algebraic properties of a
concrete event structure model and derive the … We use a similar technique in this subsection. …

… Finally, we report on an original incremental proof technique that we put in place to carry out
… We prove that this property is established at Line 4 of the last iteration of the enclosing while …

… This provides a scalable analysis technique in which (sequential) components are … to
establishing the rely/guarantee parallel rule. We show the global property holds by defining a …

… Rely-guarantee (RG) is a highly influential compositional proof technique for concurrent …
temporal logics, which allows one to express properties of sequences of states. For instance, our …

… This article shows how to prove some safety properties—both … on recent work on rely-guarantee
references [Gordon et al. … Rely-guarantee reasoning is a well-established technique …

… Finally, we report on an original incremental proof technique. Starting from an implementation,
… We prove that this property is established at Line 4 of the last iteration of the outer while …

… As these barriers incur a performance penalty, this is not a suitable technique to … properties
during the standard rely/guarantee reasoning in step 4. We describe a series of techniques …

… The rely-guarantee technique is a suitable approach for the … different kinds of properties in
the rely-guarantee proof system for … The latter is used on the verification of safety properties …