Sobre

O SBMF 2025 é o vigésimo oitavo de uma série de eventos dedicados ao desenvolvimento, disseminação e uso de métodos formais para a construção de sistemas computacionais de alta qualidade. Já é um evento consolidado com reputação internacional, que recebe regularmente submissões e participantes de todo o mundo.

Os principais tópicos discutidos no SBMF incluem:

Aspectos formais de linguagens de especificação e fundamentos teóricos, como o desenvolvimento de novas linguagens específicas de domínio, a formalização de linguagens existentes e o estudo dos fundamentos da engenharia de software. Aspectos formais do desenvolvimento de sistemas, como a aplicação de métodos formais ao desenvolvimento de sistemas ciberfísicos, sistemas embarcados e sistemas intensivos em software. Verificação e validação, como a verificação formal da correção de sistemas de software, a verificação de modelos de requisitos de sistemas de software e o teste de fuzzing de sistemas de software. Verificação formal de redes neurais, como a aplicação de métodos formais à verificação da correção de modelos de aprendizado profundo. Autoformalização e aspectos formais na prática, como a automação de métodos formais, o uso de métodos formais em ambientes industriais e o ensino de métodos formais.

Anais anteriores da SBMF em https://link.springer.com/conference/sbmf