Login / Signup

SPIN as a Linearizability Checker under Weak Memory Models.

Oleg TravkinAnnika MützeHeike Wehrheim
Published in: Haifa Verification Conference (2013)
Keyphrases
  • statistical models
  • learning algorithm
  • machine learning algorithms
  • data sets
  • real world
  • information retrieval
  • prior knowledge
  • parameter estimation
  • experimental data
  • neural network model