Verifying C11 programs operationally.

Simon Doherty Brijesh Dongol Heike Wehrheim John Derrick

Published in: PPoPP (2019)

Keyphrases

model checking
answer sets
data mining
multimedia
search algorithm
computer programs
fixpoint
automatic programming