In Proceedings

Improving the Scalability of Automatic Linearizability Checking in SPIN.
January 2017

 

Authors: Patrick Doolan, Graeme Smith, Chenyi Zhang, Padmanabhan Krishnan

Venue: ICFEM


Hardware and Software, Engineered to Work Together