Login / Signup

Using Domain-Independent Problems for Introducing Formal Methods.

Raymond T. Boute
Published in: FM (2006)
Keyphrases
  • domain independent
  • formal methods
  • domain specific
  • domain specific knowledge
  • domain dependent
  • control knowledge
  • machine learning
  • software engineering
  • general purpose
  • formal specification
  • model checking