Model Checker File | Settings | Tools | Model Checker for Windows and Linux MPS | Preferences | Tools | Model Checker for macOS N/A Move the slider and select the check boxes in this page to specify which validations will be performed for a model.Last modified: 26 October 2017 ToolsTerminalSee AlsoExternal Links:ConstraintsReferencesTypesystem