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

Sadegh Dalvandi Brijesh Dongol Simon Doherty Heike Wehrheim

Published in: J. Autom. Reason. (2022)

Keyphrases

theorem prover
databases
metamodel
formal methods
accurate models
neural network
machine learning
prior knowledge
complex systems
experimental data