# 🛠 Finding Bugs With Formal Verification: Hands-on Workshop - Yura Sherman

- Channel: [ETHGlobal](https://streameth.org/ethglobal)
- Date: 2023-10-09
- Duration: 1:24:47
- Topics: Science & Technology
- Watch: https://streameth.org/watch/yt-ppCixBYsO1s
- YouTube: https://www.youtube.com/watch?v=ppCixBYsO1s

## Description

Join Yura Sherman from Certora for a workshop titled "Finding Bugs With Formal Verification: Hands-on Workshop." 

Thank you to everyone who joined us for ETHBogotá 🇨🇴 and helped us kick off Devcon Week. With over 1400 attendees from 62 different countries, ETHBogotá was our biggest hackathon in Latin America ever! 

-------------------------------------
Follow us: https://twitter.com/ETHGlobal​
Check us out: https://ethglobal.co​m
Email us at: hello@ethglobal.com

#ethereum #web3 #blockchain #eth