¿Cómo se construye un software que se puede probar que es correcto? James Chapman explica cómo IOG utiliza métodos formales para generar confianza en cada capa.
En la Conferencia de Lenguajes de Programación UPLC 2025, James Chapman, Director de Métodos Formales en Input | Output, ofreció una profunda inmersión en “Métodos Formales en IOG.”
Esta sesión exploró cómo los métodos formales —las técnicas matemáticas utilizadas para probar la corrección del software— sirven como base para la filosofía de ingeniería de IOG. Al aplicar estos métodos desde la investigación hasta la producción, IOG asegura que los sistemas que sustentan Cardano y tecnologías relacionadas sean seguros, confiables y matemáticamente verificados.
James describió cómo la verificación formal ayuda a:
- Detectar y prevenir fallos críticos de diseño temprano en el desarrollo
- Fortalecer la confiabilidad y seguridad de la infraestructura de blockchain
- Cerrar la brecha entre la investigación teórica y los sistemas del mundo real
A través de métodos formales, IOG continúa empujando los límites de lo que es posible en el diseño de blockchain seguro y verificable —asegurando confianza a través de pruebas, no suposiciones.
📍 Presentado en la Conferencia de Lenguajes de Programación UPLC 2025
🏛️ Organizado por Input | Output en la Universidad de Edimburgo
👤 Ponente: James Chapman, Jefe de Métodos Formales, Input | Output
Conéctate con IO:
#UPLC2025 #IOG #Cardano #MétodosFormales #SmartContracts #Verificación #UPLC #InvestigaciónBlockchain