Como você constrói um software que pode provar que está correto? James Chapman explica como a IOG utiliza métodos formais para engendrar confiança em cada camada.
Na Conferência de Linguagens de Programação UPLC 2025, James Chapman, Diretor de Métodos Formais na Input | Output, apresentou uma análise aprofundada sobre “Métodos Formais na IOG.”
Esta sessão explorou como os métodos formais — as técnicas matemáticas usadas para provar a correção do software — servem como uma base para a filosofia de engenharia da IOG. Ao aplicar esses métodos da pesquisa à produção, a IOG garante que os sistemas que sustentam o Cardano e tecnologias relacionadas sejam seguros, confiáveis e matematicamente verificados.
James destacou como a verificação formal ajuda a:
- Detectar e prevenir falhas críticas de design no início do desenvolvimento
- Reforçar a confiabilidade e segurança da infraestrutura de blockchain
- Fazer a ponte entre a pesquisa teórica e sistemas do mundo real
Por meio de métodos formais, a IOG continua a expandir os limites do que é possível em design de blockchain seguro e verificável — garantindo confiança por meio de prova, não de suposição.
📍 Apresentado na Conferência de Linguagens de Programação UPLC 2025
🏛️ Hospedado pela Input | Output na Universidade de Edimburgo
👤 Palestrante: James Chapman, Chefe de Métodos Formais, Input | Output
Conecte-se com a IO:
#UPLC2025 #IOG #Cardano #MétodosFormais #ContratosInteligentes #Verificação #UPLC #PesquisaBlockchain