Desafio TLA+ Acelerado por IA Generativa: Uma Corrida para o Futuro da Verificação Formal
2025-05-06
A Fundação TLA+ e a NVIDIA lançaram um desafio incentivando o uso de IA generativa para melhorar a linguagem de especificação TLA+. Os participantes podem usar IA para refatoração de código, criação de ferramentas de desenvolvimento, geração de visualizações e até mesmo síntese de especificações. O júri avaliará as submissões com base na funcionalidade, relevância para o ecossistema TLA+ e uso inovador da IA. Todas as submissões devem ser de código aberto, reprodutíveis, e um protótipo é suficiente. Este desafio visa explorar o potencial da IA generativa dentro do TLA+ e revigorar a comunidade.
Leia mais
Desenvolvimento