for Windows and Linux
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