Improving the Scalability of Automatic Linearizability Checking in SPIN.

Patrick Doolan, Graeme Smith, Chenyi Zhang, Padmanabhan Krishnan

Browse the full ICFEM paper archive.