PRIMER 22.1
The CHECK Popup Menu
The CHECK Popup Menu
| APPLY | Runs the model checker as described in MODEL > CHECK |
| OPTIONS | Maps the options panel as described in OPTIONS... Setting Model Check Options |
| APPLY | Runs the model checker as described in MODEL > CHECK |
| OPTIONS | Maps the options panel as described in OPTIONS... Setting Model Check Options |