Os Anais do XXVII Simpósio Brasileiro de Métodos Formais (SBMF 2024) trazem os artigos selecionados e apresentados na edição do evento realizado de 04 a 06 de dezembro de 2024, na cidade de Vitória/ES. Nesta edição, os anais incluem 08 artigos completos e 04 artigos curtos, de um total de 18 artigos submetidos, o que implicou numa taxa de aceitação de 66,67%. Cada artigo recebeu três revisões. O comitê de programa do evento foi coordenado por Sidney C. Nogueira (UFRPE, Brasil) e Ciprian Teodorov (ENSTA Bretagne, França), que organizaram este volume. Os artigos que integram essa série de anais foram submetidos em 18/08/2024, aceitos para publicação em 23/09/2024, tendo a versão final submetida em 13/10/2024.

Para mais informações sobre o SBMF 2024, visite o site desta edição do evento.