Login / Signup

Formal verification with functional indeterminacy on the basis of satisfiability testing of the conjunctive normal form.

Liudmila D. CheremisinovaDmitry Ya. Novikov
Published in: Autom. Control. Comput. Sci. (2010)
Keyphrases
  • formal verification
  • satisfiability testing
  • conjunctive normal form
  • model checking
  • model checker
  • propositional logic
  • symbolic model checking
  • satisfiability problem
  • polynomial size
  • temporal logic