Login / Signup

Implementing a Model Checking Algorithm by Adapting Existing Automated Tools.

Bengt JonssonAhmed Hussain KhanJoachim Parrow
Published in: Automatic Verification Methods for Finite State Systems (1989)
Keyphrases
  • model checking
  • computational complexity
  • verification method
  • search space
  • optimal solution
  • np hard
  • dynamic programming
  • artificial intelligence
  • deterministic finite automaton