Model Checker

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