MPS 2017.3 Help

Model Checker

File | Settings | Tools | Model Checker for Windows and Linux
MPS | Preferences | Tools | Model Checker for macOS
N/A
settings


Move the slider and select the checkboxes in this page to specify which validations will be performed for a model.

Last modified: 6 December 2017

See Also