Foundry-based Formal Verification | Juan Conejero (Runtime Verification) - DSS 101 2024

Описание: Kontrol Unlocked: Foundry-based Formal Verification for 10x Devs and Auditors | Juan Conejero (Runtime Verification)

Join us to formally verify real-world code in our Kontrol-by-example workshop! We share insights and techniques used by Runtime Verification to achieve top-notch smart contract security. Learn to write symbolic Foundry tests with Kontrol, all within Solidity.

This hands-on session covers tips and tricks for using Kontrol on large-scale projects, math functions, and common smart contract code. Attendees will get actionable knowledge of using formal verification for the best security guarantees.


DeFi Security Summit links:

Website: https://defisecuritysummit.org/
X: https://x.com/summit_defi