Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking

2011 ◽  
Author(s):  
Weiqiang Kong ◽  
Noriyuki Katahira ◽  
Masahiko Watanabe ◽  
Tetsuro Katayama ◽  
Kenji Hisazumi ◽  
...  
Keyword(s):  
Model Checking ◽  
Formal Verification ◽  
Transition Matrix ◽  
State Transition ◽  
Bounded Model Checking ◽  
State Transition Matrix

scholarly journals An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix

2011 ◽  
Vol E94-D (5) ◽  
pp. 946-957 ◽  
Author(s):  
Weiqiang KONG ◽  
Tomohiro SHIRAISHI ◽  
Noriyuki KATAHIRA ◽  
Masahiko WATANABE ◽  
Tetsuro KATAYAMA ◽  
...  
Keyword(s):  
Model Checking ◽  
Transition Matrix ◽  
State Transition ◽  
Bounded Model Checking ◽  
State Transition Matrix

Numerical Algebra Solution: A New Algorithm for the State Transition Matrix

2017 ◽  
Vol 60 (12) ◽  
pp. 2620-2629 ◽  
Author(s):  
Wenfeng Nie ◽  
Tianhe Xu ◽  
Yujun Du ◽  
Fan Gao ◽  
Guochang Xu
Keyword(s):  
Transition Matrix ◽  
State Transition ◽  
The State ◽  
State Transition Matrix ◽  
Numerical Algebra
Sign in / Sign up

Export Citation Format

Share Document