Demonstração da coerência das metodologias com os objectivos

As aulas teóricas fornecem fundamentos teóricos para os métodos formais, enquanto que as demonstrações de ferramentas ajudam a reforçar a aplicação destas técnicas. As demonstrações ao vivo ilustram como os conceitos teóricos são operacionalizados, ajudando os alunos a ligar a teoria com a prática. Isto também é conseguido com aulas práticas centradas na resolução de problemas, as quais também promovem uma compreensão profunda da matéria. A apresentação de ensaios orais permite aos alunos apresentar e avaliar criticamente outros métodos formais e a sua aplicação. Isto apoia diretamente os ODA, envolvendo os alunos no pensamento crítico, encorajando-os a questionar e analisar os pontos fortes, fracos e aplicabilidade de várias abordagens, alcançando assim um nível mais elevado de compreensão.