DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking.

Jan Fiedor Vendula Hrubá Bohuslav Krena Tomás Vojnar

Published in: RV (2011)

Keyphrases

dynamic analysis
bounded model checking
model checking
static analysis
reverse engineering
formal verification
temporal logic
object oriented
training data
linear temporal logic
databases
machine learning
query processing
domain specific
domain independent
malicious behavior