Login / Signup

Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking.

Daisuke IshiiSaito Fujii
Published in: TASE (2020)
Keyphrases
  • model checking
  • bounded model checking
  • model checker
  • temporal logic
  • temporal properties
  • search space
  • symbolic model checking