Improving the Scalability of Automatic Linearizability Checking in SPIN

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68690-5_7 ◽

2017 ◽

pp. 105-121 ◽

Cited By ~ 1

Author(s):

Patrick Doolan ◽

Graeme Smith ◽

Chenyi Zhang ◽

Padmanabhan Krishnan

Download Full-text