Login / Signup

Formal verification of statecharts using finite-state model checkers.

Qianchuan ZhaoBruce H. Krogh
Published in: IEEE Trans. Control. Syst. Technol. (2006)
Keyphrases
  • finite state
  • model checking
  • formal verification
  • model checker
  • machine learning
  • probabilistic model
  • markov decision processes
  • description language