How Verified is My Code? Falsification-Driven Verification (T).

Alex Groce Iftekhar Ahmed Carlos Jensen Paul E. McKenney

Published in: ASE (2015)

Keyphrases

source code
model checking
open source
data driven
byte code
information retrieval
expert systems
formal analysis
formal verification
symbolic execution
databases
information systems
asynchronous circuits
machine learning
artificial intelligence
data structure