Configuring the Model Checker

Overview

There are various aspects to configuring the Model Checker ranging from simple tab ordering to creating your own custom checks. See the following topics:

· Ordering Tabs

· Configuring Available Checks

· Check Configurations

· Creating Checks