Scaling Formal Verification to Find Bugs in Complex Smart Contracts Systems
This event took place on Saturday, November 19, 2022 at 10:05 AM UTC.
Stage Apartment (apartment room A)--Formal verification is a technique for detecting bugs and mathematically proving their absence. By comparing the existing behavior of the program to its desired behavior, code security is drastically increased. However, most tools do not scale to handle realistic programs. I will explain how the Certora Prover successfully verifies programs with 10,000 lines of Solidity code.
Event Details
Start
Saturday, November 19, 2022 at 10:05 AM UTC
End
Saturday, November 19, 2022 at 10:30 AM UTC
Location
Plaça de Pius XII, 4, 08028 Barcelona, Spain
Online
No
Event Type
event
Category
[
"ETH Gathering Barcelona",
"ETH Gathering Barcelona 2022 ",
"Spain events ",
"Events in Barcelona",
"Scaling Formal Verification",
"Smart Contracts Systems ",
"Smart Contracts",
"Decentralized Web3 Industy ",
"Code security ",
"Tools ",
"Solidity code",
"Talk"
]
Link
https://www.ethgathering.com
Ticket purchase and full event interactions happen inside the Belong CheckIn app.
↗ Open Event in Belong CheckIn
⟳ Refresh Preview
If the app is installed, the event may open there automatically.