Login / Signup
Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration.
Weiqiang Kong
Leyuan Liu
Takahiro Ando
Hirokazu Yatsu
Kenji Hisazumi
Akira Fukuda
Published in:
APSEC (1) (2013)
Keyphrases
</>
bounded model checking
information retrieval
state space
dynamic programming
object oriented
temporal logic