In this hands-on session, we get into the real thing: how to formally verify a Solidity smart contract using Kontrol. Runtime Verification engineers Palina and Andrei walk Paul through a full live verification session—screen-shared from start to finish.
No new language. No license fees. Just free, open-source tooling built to level up any developer who already knows how to write Foundry tests.
✅ Formal verification with zero new syntax – if you can write a Foundry test, you can write a Kontrol proof
🚀 Get started in 45 minutes – everything you need to know to verify your own smart contracts
🔍 Watch the full workflow – from setup to running the proof to interpreting results
🛠 No gimmicks, no paywall – Kontrol is open-source and ready to use
🔗 Try Kontrol: kontrol.runtimeverification.com
🌐 Learn more about Runtime Verification: runtimeverification.com
🎵 Music Credit:
For So Long - Rhye Remix
Performed by: Mouth Water, Rhye
Written by: Lawrence Fancelli
Produced by: Rhye
Source: Through The Void