CHECK: Running the Model Checker and Setting Its Options

CHECK Running the model checker, and setting its options

The model checker is run from the CHECK option in the Tools panel - see MODEL > CHECK for details.