Under-Approximating Loops in C Programs for Fast Counterexample Detection.

Daniel Kroening Matt Lewis Georg Weissenbacher

Published in: CAV (2013)

Keyphrases

object detection
false alarms
detection method
machine learning
automatic detection
detection accuracy
anomaly detection
detection algorithm
false positives
detection rate
database
face detection
model checking
formal verification
automated detection