MPS 2022.3 Help

Model Checker

File | Settings | Tools | Model Checker for Windows and Linux

MPS | Settings | Tools | Model Checker for macOS

Ctrl+Alt+S

settings

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

Last modified: 11 January 2023