
Raoul
@raoulsaffron
Head of Developer Tooling @rv_inc
Creator of solarspace.dev
Building Simbolik: The Solidity Debugger
EVM | Solidity | Debugging | Formal Methods
ID: 1451148427073671174
https://raoulschaffranek.github.io/ 21-10-2021 11:29:00
484 Tweet
1,1K Followers
1,1K Following








It's hard to believe how far formal methods have come. So what's the big deal here, and how does it relate to the kind of formal verification work we do at Runtime Vеrification? First, there are different ways to build formal verification tools. Nowadays, most tools have an ad-hoc encoding

1/We're excited to share our ongoing partnership with Pi Squared đź’ś Born from the same team and aligned on the same mission, Pi2 and Runtime Verification have been collaborating behind the scenes for the last year to bring formal methods, protocol design, and trust at every



Stop guessing your v4 hook is safe. Prove it. On Wednesday, Runtime Vеrification demos Kontrol — turning your Foundry fuzz tests into formal proofs, sniffing out edge-case bugs, and shrinking debug cycles so your v4 hooks ship safely. 📅 July 2nd, 12PM ET RSVP below ↓


