Under-approximating loops in C programs for fast counterexample detection.

Daniel Kroening Matt Lewis Georg Weissenbacher

Published in: Formal Methods Syst. Des. (2015)

Keyphrases

detection method
false positives
false alarms
detection algorithm
model checking
automatic detection
detection accuracy
data sets
neural network
genetic algorithm
automated detection
real time
high level
learning algorithm
object detection