The Model Check Report provides straightforward management of reported problems from all three of the model checking functions, in a single list.
You can easily zoom to the problematic item.
Model Check Report lists every result from model checking features
Issue management workflow
Decide which cases are genuine problems that require handling.
These can be easily turned into highlight-type issues directly from the Model Check Report dialog.:
•Create a separate issue for certain reported items, or
•Create a single issue from multiple reported items
For details, see Issue Management.
Creating issues directly from reported check results
See Model Check Report.