1/6 🧵 Právě jsem si zajistil odměnu 25 000 $ za nalezení kritické chyby pomocí formálního ověření! na nově nasazené zakázce Díky @gegul_ Chyba byla tak nenápadná, že ji tradiční testování zcela opomenulo. To je důvod, proč je @CertoraInc metoda měničem
7,1K