Os Anais do XXV Simpósio Brasileiro de Métodos Formais (SBMF 2022) trazem os artigos selecionados e apresentados na edição do evento realizada online, no período de 06 a 09 de dezembro de 2022. Nesta edição, os anais incluem 08 artigos completos. Esses trabalhos foram selecionados através de um processo de revisão por pares do tipo peer-review, de um total de 14 artigos completos submetidos, o que implicou numa taxa de aceitação de 57,1%. O comitê de programa do evento foi coordenado por Lucas Lima (UFRPE, Brasil) e Vince Molnár (Budapest University, Hungria), que organizaram este volume. Os artigos que integram essa série de anais foram submetidos em 15/08/2022, aceitos para publicação em 19/09/2022, tendo a versão final submetida em 03/10/2022.
Para mais informações sobre o SBMF 2022, visite o site desta edição do evento.