MFP
Índice
| Métodos Formais em Engenharia de Software |
|---|
| Cálculo de Sistemas de Informação |
| Programação Ciber-física |
| Verificação Formal |
| Anos anteriores |
| Calendário | Sumários |
| Alumni |
CSI/2025-26
Material Pedagógico
Slides das aulas teóricas
- Aulas
T01+T02 (PDF)
Mais slides irão sendo disponibilizados à medida que as aulas forem progredindo.
Folhas de exercícios práticos
TBC
Bibliotecas/ferramentas
TBC