SBMF – Simpósio Brasileiro de Métodos Formais

O SBMF é um simpósio brasileiro dedicado ao estudo e à aplicação de Métodos formais no desenvolvimento de sistemas de software, é realizado pela Comissão especial de Métodos Formias (CE-MF) da Sociedade Brasileira de Computação (SBC). Sua primeira edição ocorreu em 1998, é um evento anual e itinerante. Esse simpósio se estabeleceu no calendário científico nacional como um importante evento científico-técnico na área de software.

O evento SBMF é dedicado à divulgação do desenvolvimento e uso de métodos formais para a construção e verificação de sistemas informáticos, com o objetivo de promover oportunidades para pesquisadores com interesses em métodos formais para discutir avanços recentes na área.