Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking.
Hendrik PostCarsten SinzAlexander KaiserThomas GorgesPublished in: ASE (2008)
Keyphrases
- false positives
- bounded model checking
- abstract interpretation
- model checking
- false negative
- formal verification
- temporal logic
- termination analysis
- detection rate
- false positive rate
- low false positive rate
- number of false positives
- true positive
- active rules
- false alarms
- static analysis
- linear temporal logic
- active databases
- formal specification