Foi implementado um novo processo de revisão do projeto para detetar possíveis incoerências no modelo analítico e, desta forma, permitir que o utilizador as possa resolver. Para isso, foram adicionadas as opções seguintes ao grupo "Erros" da barra de ferramentas do programa:
- Verificar erros
Executa a verificação de erros no projeto. Esta verificação também se efetua ao finalizar o processo de geração automática do modelo analítico. - Verificações
Apresenta o painel de configuração onde se estabelecem as verificações a realizar no projeto. Diferencia-se entre os erros e advertências sobre os elementos do modelo de arquitetura e os relativos ao modelo analítico. No caso do modelo de arquitetura, existe a possibilidade de excluir certos elementos da análise. Algumas verificações não se encontram ativas por defeito pois requerem tempos de cálculo superiores, estas aparecem no painel juntamente com um símbolo de advertência. - Mostrar/Ocultar incidências
Se esta opção for ativada, serão destacados os elementos sobre os quais se tenha produzido alguma incidência. Se se tratar de um erro aparecerá um círculo vermelho junto ao elemento, se for uma advertência aparecerá um triângulo amarelo. Ao posicionar o ponteiro do rato sobre o símbolo será visualizada uma mensagem descritiva da incidência. No caso da incidência ocorrer sobre uma superfície analítica, esta mudará de cor (vermelho quando é um erro e amarelo quando é uma advertência) para facilitar a identificação do objeto afetado.