The Problems View shows detected constraint violations across all files in the workspace. Refresh will analyze your current model for violations and display them in the Problems View. If the view is not currently displayed, selecting Refresh and show problems (constraints) from the Model menu will display the view, run the analysis, and display any problems there.
Double-clicking on a problem globally selects the resource that is directly associated with it. The refresh button can be used to update errors and warnings. The user can configure filters to select the types of problems.
In order to see constraint violations at edit time, and to learn about the kinds of constraint checking supported, see Constraint Checking.