MPS 2024.1 Help

Model Checker

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

MPS | Settings | Tools | Model Checker for macOS

Ctrl+Alt+S

settings

Item

Description

Model checking level

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

Check stub models

Perform model checking on stub models, as well.

Perform additional checks

Include additional checks in the model checking process, such as check for aspect dependencies, generator plans, unresolved references as well as concept references, etc., which are not considered core to model checking.

Run in parallel

Spawn multiple threads in the model checker to speed up model checking

Last modified: 11 February 2024