Login / Signup
An SMT Approach to Bounded Model Checking of Design in State Transition Matrix.
Weiqiang Kong
Tomohiro Shiraishi
Yuki Mizushima
Noriyuki Katahira
Akira Fukuda
Masahiko Watanabe
Published in:
ICCSA Workshops (2010)
Keyphrases
</>
bounded model checking
formal verification
state space
design process
transition matrix
orders of magnitude
model checking
control system
dynamic programming
software architecture
linear temporal logic