1/6 🧵 Har nettopp sikret seg en dusør på $25 000 for å finne en kritisk feil ved hjelp av formell verifisering! på en nylig distribuert kontrakt Takket være @gegul_'s Feilen var så subtil at tradisjonell testing har gått glipp av den helt. Dette er grunnen til at @CertoraInc metode er changer