Login / Signup

Completeness and Complexity of Bounded Model Checking.

Edmund M. ClarkeDaniel KroeningJoël OuaknineOfer Strichman
Published in: VMCAI (2004)
Keyphrases
  • bounded model checking
  • formal verification
  • model checking
  • decision problems
  • data sets
  • computational complexity
  • computational cost
  • linear temporal logic
  • database
  • real time
  • case study