Certora
@Certora
Your End-To-End Security Partner.
Manual Audits, Formal Verification, and Protocol Design Review.
Trusted by Aave, Uniswap, Lido, EigenLayer, Solana and more.
๊ฐ์
February 2019
341 ํ๋ก์ ์ค 12.1K ํฌ
At @EFDevcon tomorrow, Certora co-founder @SagivMooly will discuss how AI agents can make formal verification more accessible to Solidity developers.
๐ Lotus Stage 2 | 12:30 PM IST
If you're at Devcon, come join us!
๋ ๋ณด๊ธฐ
If you are at @Devcon, I am talking tomorrow at the Lotus stage at 12 on democratizing formal verification for Solidity. My talk should be accessible. Please come
