Os Anais do XXIV Simpósio Brasileiro de Métodos Formais (SBMF 2021) trazem os artigos selecionados e apresentados na edição do evento realizada online, no período de 07 a 10 de dezembro de 2021, na cidade de Campina Grande/PB. 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 19 artigos completos submetidos, o que implicou numa taxa de aceitação de 42,1%. O comitê de programa do evento foi coordenado por Sérgio Campos (UFMG, Brasil) e Marius Minea (University of Massachusetts, EUA), que organizaram este volume. Os artigos que integram essa série de anais foram submetidos em 06/08/2021, aceitos para publicação em 10/09/2021, tendo a versão final submetida em 22/09/2021.
Para mais informações sobre o SBMF 2021, visite o site desta edição do evento.
