[gtranslate]
Menção honrosa no 17th NASA Formal Methods Symposium
Artigo científico coautorado por docentes e discentes do Programa de Pós-Graduação em Informática (PPGI/CIC/UnB) recebeu prestigiosa Menção Honrosa no 17th NASA Formal Methods Symposium (NFM 2025).
O artigo premiado, intitulado Verification of an Anti-unification Algorithm in PVS, figurou entre os grandes destaques do encontro internacional organizado pela NASA Langley Research Center.
A pesquisa avança o estado da arte na verificação mecânica de teoremas e métodos formais de garantia de corretude algorítmica por meio do assistente de prova interativo PVS, reforçando o prestígio global do Grupo de Teoria da Computação da Universidade de Brasília.