scholarly journals Incremental bounded model checking for embedded software

2017 ◽  
Vol 29 (5) ◽  
pp. 911-931 ◽  
Author(s):  
Peter Schrammel ◽  
Daniel Kroening ◽  
Martin Brain ◽  
Ruben Martins ◽  
Tino Teige ◽  
...  
Keyword(s):  
Model Checking ◽  
Embedded Software ◽  
Bounded Model Checking

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

Bounded model checking of high-integrity software

2013 ◽  
Vol 33 (3) ◽  
pp. 9-10
Author(s):  
Sagar Chaki
Keyword(s):  
Model Checking ◽  
Bounded Model Checking ◽  
High Integrity

scholarly journals Contradictory antecedent debugging in bounded model checking

2009 ◽  
Author(s):  
Daniel Grosse ◽  
Robert Wille ◽  
Ulrich Kuehne ◽  
Rolf Drechsler
Keyword(s):  
Model Checking ◽  
Bounded Model Checking

Fault Localization in Multi-threaded C Programs Using Bounded Model Checking

2015 ◽  
Author(s):  
Erickson H.S. Da Alves ◽  
Lucas C. Cordeiro ◽  
Eddie B. De Lima Filho
Keyword(s):  
Model Checking ◽  
Fault Localization ◽  
Bounded Model Checking ◽  
C Programs

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

scholarly journals An Incremental Algorithm to Check Satisfiability for Bounded Model Checking

2005 ◽  
Vol 119 (2) ◽  
pp. 51-65 ◽  
Author(s):  
HoonSang Jin ◽  
Fabio Somenzi
Keyword(s):  
Model Checking ◽  
Bounded Model Checking ◽  
Incremental Algorithm
Sign in / Sign up

Export Citation Format

Share Document