Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL.

Sadegh Dalvandi Brijesh Dongol Simon Doherty

Published in: CoRR (2020)

Keyphrases

theorem prover
probabilistic model
experimental data
data sets
data structure
statistical models
classification models
information retrieval
database systems
data streams
higher order
associative memory