Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors

2020 ◽  
Vol 39 (3) ◽  
pp. 714-727
Author(s):  
Ying Zhang ◽  
Krishnendu Chakrabarty ◽  
Zebo Peng ◽  
Ahmed Rezine ◽  
Huawei Li ◽  
...  
Keyword(s):  
Model Checking ◽  
Bounded Model Checking ◽  
Superscalar Processors ◽  
Self Testing

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