About the Training Utility
Loading a Visual Model
Loading a Formal Model
Checking the Evolution of the Model
The Movida NCES Generator help pages