Keyword : state transition matrix


An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix
Weiqiang KONG Tomohiro SHIRAISHI Noriyuki KATAHIRA Masahiko WATANABE Tetsuro KATAYAMA Akira FUKUDA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/05/01
Vol. E94-D  No. 5 ; pp. 946-957
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Model Checking
Keyword: 
state transition matrixbounded model checkinginvariant propertiessatisfiability modulo theories
 Summary | Full Text:PDF