Login / Signup

An Incremental Algorithm to Check Satisfiability for Bounded Model Checking.

HoonSang JinFabio Somenzi
Published in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • temporal logic
  • linear temporal logic
  • multi agent systems
  • satisfiability problem
  • search space
  • domain specific
  • orders of magnitude