Sumários

P12: Resolução do exame tipo

14 Dezembro 2017, 14:00 Paulo Alexandre Carreira Mateus

Conclusão da aula anterior.


Aula P11: Resolução do exame tipo.

12 Dezembro 2017, 17:00 Paulo Alexandre Carreira Mateus

Resolução do exame tipo.


P10 : Apoio ao Projecto

7 Dezembro 2017, 14:00 Paulo Alexandre Carreira Mateus

Codificação da ordem usando bits. Propriedades de convergência a verificar no SpirRPC.


T12 - Verificação de modelos em CTL 2

5 Dezembro 2017, 17:00 Paulo Alexandre Carreira Mateus

Conclusion of the previous class.


P09 : Apoio ao Projecto

30 Novembro 2017, 14:00 Paulo Alexandre Carreira Mateus

Decomposição do problema BGP em várias etapas para codificação em Spin.