Login / Signup
An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix.
Weiqiang Kong
Noriyuki Katahira
Wanpeng Qian
Masahiko Watanabe
Tetsuro Katayama
Akira Fukuda
Published in:
ICCSA Workshops (2011)
Keyphrases
</>
bounded model checking
transition matrix
model checking
markov chain
formal verification
evaluation function
transition probabilities