Login / Signup

Tool for Translating Simulink Models into Input Language of a Model Checker.

B. MeenakshiAbhishek BhatnagarSudeepa Roy
Published in: ICFEM (2006)
Keyphrases
  • model checker
  • model checking
  • specification language
  • natural language
  • temporal logic
  • formal methods
  • formal verification
  • knowledge base
  • programming language
  • knowledge based systems
  • error rate