Two approaches for proving linearizability of multiset
Two approaches for verifying linearizability. Mechanized verification of local proof obligations. Challenging case study of a multiset implementation with fine-grained locking. RelyGuarantee reasoning for a Temporal Logic with Programs.
linearizability concurrent data types interactive verification