Configure Model Verification Settings

Overview of various settings that can be configured for Model Verification.

1. In the Comparison/Intersection browser, right-click and select Configuration from the context menu.
   The Configuration dialog opens.
2. Configure settings as needed.
3. Click OK to save and load the new settings in current session.