O Simpósio Brasileiro de Métodos Formais (SBMF) é um evento realizado pela SBC desde 2004. Os Anais do SBMF são publicados anualmente, trazendo os artigos selecionados para cada edição do evento.
Tópicos de Interesse
Os tópicos de interesse do SBMF incluem:
- Aplicações dos métodos formais
- Linguagens de especificação e modelagem
- Fundamentos teóricos
- Verificação e validação
- Relatos de experiência
Mais informações
Para obter mais informações sobre o SBMF, visite o site do evento.
