On Teaching Formal Methods: Behavior Models and Code Analysis.

Jan Kofron Pavel Parízek Ondrej Sery

Published in: TFM (2009)

Keyphrases

formal methods
formal analysis
learning environment
static analysis
multi agent
probabilistic model
e learning
database systems
learning process
reactive systems