C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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