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