Model Checker
for Windows and Linux
for macOS
Ctrl+Alt+S
Move the slider and select the check boxes in this page to specify which validations will be performed for a model.
See Also
External Links:
Last modified: 3 August 2017