En esta sesión práctica, nos adentramos en lo real: cómo verificar formalmente un contrato inteligente de Solidity utilizando Kontrol. Los ingenieros de Runtime Verification, Palina y Andrei, guían a Paul a través de una sesión completa de verificación en vivo, compartiendo pantalla de principio a fin.
Sin nuevo lenguaje. Sin tarifas de licencia. Solo herramientas gratuitas y de código abierto diseñadas para elevar a cualquier desarrollador que ya sepa cómo escribir pruebas de Foundry.
✅ Verificación formal sin nueva sintaxis – si puedes escribir una prueba de Foundry, puedes escribir una prueba de Kontrol
🚀 Comienza en 45 minutos – todo lo que necesitas saber para verificar tus propios contratos inteligentes
🔍 Mira el flujo de trabajo completo – desde la configuración hasta la ejecución de la prueba e interpretación de resultados
🛠 Sin trucos, sin muros de pago – Kontrol es de código abierto y listo para usar
🔗 Prueba Kontrol: kontrol.runtimeverification.com
🌐 Aprende más sobre Runtime Verification: runtimeverification.com
🎵 Crédito Musical:
For So Long - Rhye Remix
Interpretado por: Mouth Water, Rhye
Escrito por: Lawrence Fancelli
Producido por: Rhye
Fuente: Through The Void