Práticas de VFS 2011/2012
Folhas de exercícios
- Folha 1(7/03)
- Especificação de propriedades em LTL e CTL (21/03)
- Folha 2 (18/04)
- Folha 3 (02/05)
- Folha 4 (30/05)
Calendarização de trabalhos (previsão)
- 15/03
- 29/03
- 16/05
- 24/05
- 11/06
Trabalhos Práticos
Primeiro Trabalho (15/3)
- Albano José Carvalho de Brito
- André Manuel Teixeira da Rocha Gaspar
- Armindo Basso Maia da Cunha
- Armindo Eugénio de Sousa Pereira
- Eder Zenildo Monteiro Soares Moreno
- Eduardo Manuel Sousa Magalhães
- Francisco Abreu Faro Mota
- Goncalo dos Santos Martins
- Hugo Miguel Pessegueiro de Sousa
- João António Duarte da Graça
- João Paulo Rocha Viana
- João Pedro Codeco Proença
- José Carlos de Moura Carvalho
- José Pedro Carvalho Correia Pedro
- Maria Nelson de Lemos Correia
- Nuno Miguel Fonseca Peralta
- Ricardo Isidro Morais da Costa
- Sérgio Miguel de Almeida Gomes
- Susana Filipa Neves Pedro João
- Teresa Isabel Almeida da Costa
- Tiago Pinheiro de Melo
Segundo Trabalho Prático (29/3)
- André Manuel Teixeira da Rocha Gaspar
- Armindo Basso Maia da Cunha
- Armindo Eugénio de Sousa Pereira
- Eder Zenildo Monteiro Soares Moreno
- Francisco Abreu Faro Mota
- Goncalo dos Santos Martins
- Hugo Miguel Pessegueiro de Sousa
- João António Duarte da Graça
- João Paulo Rocha Viana
- João Pedro Codeco Proença
- José Carlos de Moura Carvalho
- Maria Nelson de Lemos Correia
- Nuno Miguel Fonseca Peralta
- Susana Filipa Neves Pedro João
- Tiago Pinheiro de Melo
Terceiro Trabalho Prático (16/5)
Quarto Trabalho Prático (24/5)
- Enunciado (para todos os alunos)
Quinto Trabalho Prático (8/6)
- Enunciado (para todos os alunos)