Login / Signup

Improving Saturation-based Bounded Model Checking.

Dániel DarvasAndrás VörösTamás Bartha
Published in: Acta Cybern. (2016)
Keyphrases
  • bounded model checking
  • formal verification
  • model checking
  • temporal logic
  • linear temporal logic
  • search algorithm