Login / Signup

Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration.

Weiqiang KongLeyuan LiuTakahiro AndoHirokazu YatsuKenji HisazumiAkira Fukuda
Published in: APSEC (1) (2013)
Keyphrases
  • bounded model checking
  • information retrieval
  • state space
  • dynamic programming
  • object oriented
  • temporal logic