| Semana | Nome | Tipo de tarefa | Data de entrega | Enviada | Nota |
|---|---|---|---|---|---|
| 3 | Visão Crítica do Artigo "Seven Myths of Formal Methods" | Envio de arquivo único | segunda, 22 agosto 2011, 08:00 | - | |
| 4 | Especificação de Propriedades em CTL | Envio de arquivo único | segunda, 12 setembro 2011, 14:00 | - | |
| CTL dos Filosofos | Envio de arquivo único | sexta, 9 setembro 2011, 14:10 | - | ||
| 12 | Fontes do Model Checker | Envio de arquivo único | quarta, 23 novembro 2011, 23:55 | - | |
| 13 | Artigo | Envio de arquivo único | sexta, 2 dezembro 2011, 08:00 | - | |
Especificação formal de software
