Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

2008 ◽  
Author(s):  
Hendrik Post ◽  
Carsten Sinz ◽  
Alexander Kaiser ◽  
Thomas Gorges
Keyword(s):  
Model Checking ◽  
Abstract Interpretation ◽  
Bounded Model Checking ◽  
False Positives

Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking

2015 ◽  
pp. 573-576 ◽  
Author(s):  
Bharti Chimdyalwar ◽  
Priyanka Darke ◽  
Anooj Chavda ◽  
Sagar Vaghani ◽  
Avriti Chauhan
Keyword(s):  
Model Checking ◽  
Static Analysis ◽  
Bounded Model Checking ◽  
False Positives

Bounded Model Checking for Probabilistic Computation Tree Logic

2012 ◽  
Vol 23 (7) ◽  
pp. 1656-1668 ◽  
Author(s):  
Cong-Hua ZHOU ◽  
Zhi-Feng LIU ◽  
Chang-Da WANG
Keyword(s):  
Model Checking ◽  
Bounded Model Checking ◽  
Probabilistic Computation ◽  
Computation Tree Logic ◽  
Computation Tree

scholarly journals Symbolic Causality Checking Using Bounded Model Checking

2015 ◽  
pp. 203-221 ◽  
Author(s):  
Adrian Beer ◽  
Stephan Heidinger ◽  
Uwe Kühne ◽  
Florian Leitner-Fischer ◽  
Stefan Leue
Keyword(s):  
Model Checking ◽  
Bounded Model Checking
Sign in / Sign up

Export Citation Format

Share Document