Model Checker

Model checking level

Move the slider and select the checkboxes on 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 that aren't considered core to model checking, such as checks for aspect dependencies, generator plans, unresolved references, and concept references.

Run in parallel

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