Preventing billion dollar coding errors with scalable formal verification - Mooly Sagiv, Alex Joesph

Join Mooly Sagiv and Alex Joesph from Certora for a talk titled "Preventing billion dollar coding errors with scalable formal verification". And that wraps up 2022! ETHIndia 2022⎯the biggest Ethereum hackathon to this date with over 459 projects built within 36 hours. 🫂 2000 attendees from 🌆 321 cities that were 🌱 44% new to web3... ...joined forces in Bengaluru to write history. Thank you for taking part in it 🫶🔥 ----------------- Follow us: https://twitter.com/ETHGlobal​ Check us out: https://ethglobal.co​m Email us at: hello@ethglobal.com