Login / Signup

Editor's Introduction to the Special Volume on Application of Constraints to Formal Verification.

Miroslav N. Velev
Published in: J. Satisf. Boolean Model. Comput. (2008)
Keyphrases
  • formal verification
  • model checking
  • programming language
  • constrained optimization
  • model checker