Le logiciel analyse le modèle et vérifie si les exigences du projet sont respectées. L'option ‘Afficher/masquer alertes’ permet d'activer des alertes qui indiquent les cas de non-conformité aux exigences et les éléments concernés.