Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking | IEEE Conference Publication | IEEE Xplore