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:
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