Model-checking

You can perform model-checking with the MOVIDA Model Checker application. The Model Checker can be invoked from the NCES Analyzer. To start NCES Analyzer choose the menu option NCES Analyzer from the Validation menu.

Validation menu

The validation menu also contain other options for model checking: