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

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