O programa analisa o modelo e verifica se os requisitos do projeto são cumpridos. Através da opção "Mostrar/ocultar mensagens de erro e avisos" podem ser ativados os erros/avisos que indicam onde ocorre o incumprimento de requisitos e quais os elementos envolvidos.