Contents
Purpose and description
System Requirements
Installing Check Manager
Using Check Manager
Application properties
Application buttons
Purpose and description
Use Check Manager extended application to show/hide checks from the Model Checker Suite window.