Login / Signup

Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration.

Weiqiang KongLeyuan LiuTakahiro AndoHirokazu YatsuKenji HisazumiAkira 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