Improving the Scalability of Automatic Linearizability Checking in SPIN.

Patrick Doolan Graeme Smith Chenyi Zhang Padmanabhan Krishnan

Published in: ICFEM (2017)

Keyphrases

semi automatic
fully automatic
database
real time
machine learning
cooperative
information systems
case study
three dimensional
face recognition
evolutionary algorithm
highly scalable
labor intensive
consistency checking