A Generic Logic for Proving Linearizability

FM 2016: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-48989-6_26 ◽

2016 ◽

pp. 426-443 ◽

Author(s):

Artem Khyzha ◽

Alexey Gotsman ◽

Matthew Parkinson

Download Full-text