Login / Signup

Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework.

Henrik BjörklundSven SandbergSergei G. Vorobyov
Published in: Ershov Memorial Conference (2003)
Keyphrases
  • model checking
  • temporal logic
  • pspace complete
  • formal verification
  • model checker
  • automated verification
  • formal specification
  • formal methods
  • epistemic logic