Login / Signup

Selected Methods of Model Checking Using SAT and SMT-Solvers.

Agnieszka M. Zbrzezny
Published in: PAAMS (Special Sessions) (2015)
Keyphrases
  • model checking
  • knowledge base
  • verification method
  • bounded model checking
  • np complete
  • pspace complete
  • linear temporal logic