#BUIDL
#BUIDLathon
BV Buffitank Pitchfest
BV Bufficorn Startup Rodeo
Camp #BUIDL
Apply to Mentor
Apply to Judge
#BUIDLer Guide
festival
Art Gallery
Bleeding Edge Summit
Blockchain Arcade
DJ Chill Dome
Makerspace
Media
Onchain legal summit
Podcast Studio
poker
Zen Zone
Good to know
Event Map
Merch
Sporkdao
Schedule
Content Schedule
Event map
Mountain Retreat
Schedule + hours
Speakers
Side events
Travel
Mountain Retreat
Book your Hotel
Side events
SPEAKERS
FAQ
Tickets
sponsor

Formal Verification: Finding Hope in the Impossible

Captain Ethereum Stage

Defi, NFTs & Gaming

|

BUIDLHub

Mar 1, 2025

at

3:25 PM

Once confined to academia and critical systems, formal verification is now maturing into a practical tool for broader applications. In an era where AI tools often produce inaccurate results, formal methods enable declarative system definitions, enhancing reliability. This talk explores how formal verification can mitigate security risks inherent in public codebases, especially those managing substantial financial transactions.

speakers

Jonan Scheffler - Certora

Jonan Scheffler - Certora

Moderator

Return to schedule

© 2025 ETHDenver LLC. All rights reserved.

Terms of Service Contributor agreement Privacy Policy