Verificação Formal de Software - CC4008

Avaliação:
  • Teste intercalar : 40% (nota mínima: 6/20)
  • Trabalho Prático : 20%
  • Exame (época normal): 40% (nota mínima: 6/20)
  • Exame recurso: 80%
Nota: no Exame da época normal será também possível fazer o exame para 80% caso em que a nota do teste intercalar será descartada.

Resultados do Teste Intercalar
  • Adélcia da Conceição da Graça Fernandes 3.6
  • Américo José Pereira e Castro 11.2
  • Ana Patrícia Areias Silva 9.6
  • André Couto Meira 16.8
  • Carlos Miguel Teixeira Neves Pereira Fernando 6
  • Diogo João Veiga de Sousa 1.6
  • João Manuel Campelos Ferreira 7.2
  • José Querubim Rocha Reisinho 11.6
  • Marcos José Lopes Pais 2.4
  • Mariana Sofia Moreira da Silva Moreno 9.2
  • Miguel Ribeiro Correia 4.4
  • Nuno Filipe Enxurreira Tavares 12.8
  • Pedro Carvalho Moreno 16.8
  • Rui Filipe da Costa Carvalho 12
  • Rui Jorge Santos Andrade 16
  • Rui Pereira Miguel 8
  • Sara Barros Moreira 11.6
Resultados Trabalho prático (%)
  • Ana Patrícia Areias Silva .8
  • Carlos Miguel Teixeira Neves Pereira Fernando .73
  • Diogo João Veiga de Sousa .63
  • Filipe Figueiredo .3
  • Marcos José Lopes Pais .52
  • Mariana Sofia Moreira da Silva Moreno .23
  • Nuno Filipe Enxurreira Tavares .68
  • Pedro Carvalho Moreno .91
  • Rui Jorge Santos Andrade .7
Resultados do Teste II
  • Ana Patrícia Areias Silva 4.3
  • André Couto Meira 11.56
  • Marcos José Lopes Pais 2
  • Mariana Sofia Moreira da Silva Moreno 12.4
  • Miguel Ribeiro Correia 4.4
  • Nuno Filipe Enxurreira Tavares 6.6
  • Pedro Carvalho Moreno 16.2
  • Rui Jorge Santos Andrade 10.88
  • Sara Barros Moreira 7.28