C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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