Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Learn about practical symbolic execution techniques for the Ethereum Virtual Machine (EVM) in this 29-minute conference talk from ETHTaipei 2023. Explore how symbolic execution can be applied to analyze smart contracts and enhance security in blockchain development, presented by Palina Tolmach from MakerDAO. Gain insights into the implementation challenges and practical applications of symbolic execution within the EVM environment, understanding how this powerful technique can be used to identify vulnerabilities and verify smart contract behavior.
