Nesta sessão prática, vamos ao que realmente importa: como verificar formalmente um contrato inteligente em Solidity usando o Kontrol. Os engenheiros da Runtime Verification, Palina e Andrei, guiam Paul por uma sessão completa de verificação ao vivo—compartilhada na tela do início ao fim.
Sem nova linguagem. Sem taxas de licença. Apenas ferramentas gratuitas e de código aberto criadas para elevar qualquer desenvolvedor que já sabe como escrever testes no Foundry.
✅ Verificação formal sem nova sintaxe – se você consegue escrever um teste no Foundry, consegue escrever uma prova no Kontrol
🚀 Comece em 45 minutos – tudo o que você precisa saber para verificar seus próprios contratos inteligentes
🔍 Assista ao fluxo de trabalho completo – desde a configuração até a execução da prova e interpretação dos resultados
🛠 Sem truques, sem paywall – o Kontrol é de código aberto e pronto para uso
🔗 Experimente o Kontrol: kontrol.runtimeverification.com
🌐 Saiba mais sobre a Runtime Verification: runtimeverification.com
🎵 Crédito da Música:
For So Long - Rhye Remix
Interpretada por: Mouth Water, Rhye
Escrita por: Lawrence Fancelli
Produzida por: Rhye
Fonte: Through The Void