El programa analiza el modelo y comprueba si se cumplen los requerimientos de proyecto. Mediante la opción "Mostrar/ocultar avisos" pueden activarse avisos que indiquen dónde se producen incumplimientos de los requerimientos, y qué elementos están involucrados.