Verifying C11 Programs Operationally.

Simon Doherty Brijesh Dongol Heike Wehrheim John Derrick

Published in: CoRR (2018)

Keyphrases

data sets
information retrieval
neural network
artificial intelligence
feature selection
decision trees
optimal solution
open source
computer programs
fixpoint
program execution
control structures