Thank you @SecureFi_io for having us at the Formal Verification Panel!
Panel speakers: @KFerles (CTO @VeridiseInc), @SagivMooly (CEO @CertoraInc), @alexanderlhicks (Researcher @ethereum), and @JulekSU (Head of FV @NethermindEth). Moderated by @RaoulSaffron
See recording đ§”
1/2