Login / Signup
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration.
Weiqiang Kong
Leyuan Liu
Takahiro Ando
Hirokazu Yatsu
Kenji Hisazumi
Akira Fukuda
Published in:
Comput. J. (2015)
Keyphrases
</>
bounded model checking
real time
state space
genetic algorithm
data sets
mobile robot
temporal logic
linear temporal logic