The program analyses the model and checks whether the project requirements are met. Using the "Show/hide warnings" option, warnings can be activated to indicate where the requirements are not being met and which elements are involved.