Counterexample-Guided k-Induction Verification for Fast Bug Detection.
Mikhail Y. R. GadelhaLucas C. CordeiroDenis A. NicolePublished in: CoRR (2017)
Keyphrases
- model checking
- formal verification
- false positives
- detection method
- detection algorithm
- machine learning
- source code
- anomaly detection
- detection rate
- false alarms
- verification method
- real time
- asynchronous circuits
- concept formation
- rule induction
- detection accuracy
- software projects
- event detection
- object detection
- knowledge base
- social networks
- real world
- neural network