Model Checker
for macOS
Ctrl+Alt+S
Move the slider and select the checkboxes in this page to specify which validations will be performed for a model.
Last modified: 5 July 2019
for macOS
Ctrl+Alt+S
Move the slider and select the checkboxes in this page to specify which validations will be performed for a model.