Edição Atual
Os Anais do XXVIII Simpósio Brasileiro de Métodos Formais (SBMF 2025) trazem os artigos selecionados e apresentados na edição do evento realizada de 03 a 05 de dezembro de 2025, na cidade de Recife/PE. Nesta edição, os anais incluem 12 artigos completos e 01 artigo curto. Esses trabalhos foram selecionados através de um processo de revisão por pares do tipo single-blind review, de um total de 24 artigos completos e 01 artigo curto submetidos, o que implicou numa taxa de aceitação de 50% e 100%, respectivamente. O comitê de programa do evento foi coordenado por Leopoldo Teixeira (UFPE, Brasil) e Maurice ter Beek (ISTI-CNR, Itália), que organizaram este volume. Os artigos que integram essa série de anais foram submetidos em 15/08/2025, aceitos para publicação em 26/09/2025, tendo a versão final submetida em 13/10/2025.
Para mais informações sobre o SBMF 2025, visite o site desta edição do evento.
