Sign in

Can a Model Checker Generate Tests for Non-Deterministic Systems?

Sergiy BorodayAlexandre PetrenkoRoland Groz
Published in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
  • formal methods
  • model checking
  • machine learning
  • artificial intelligence
  • high level
  • reinforcement learning
  • domain specific
  • knowledge acquisition
  • mathematical morphology
  • model checker
  • symbolic model checking