Formal Verification on Halmos, a Python FV tool! | With Karma from a16z - Cyfrin Audits Podcast

All Episodes

Formal Verification on Halmos, a Python FV tool! | With Karma from a16z

March 24, 2024 • 55 mins

We speak about the Halmos tool, how Karma got into formal verification, and more.

And some gym tips!

Mark as Played

Advertise With Us

Popular Podcasts

Stuff You Should Know

If you've ever wanted to know about champagne, satanism, the Stonewall Uprising, chaos theory, LSD, El Nino, true crime and Rosa Parks, then look no further. Josh and Chuck have you covered.

The Joe Rogan Experience

The official podcast of comedian Joe Rogan.

24/7 News: The Latest

The latest news in 4 minutes updated every hour, every day.

.css-15opob5{left:0;position:absolute;top:0.8rem;} All Episodes

.css-14f5ked{margin:0;word-break:break-word;display:-webkit-box;-webkit-box-orient:vertical;box-orient:vertical;-webkit-line-clamp:2;overflow:hidden;}Formal Verification on Halmos, a Python FV tool! | With Karma from a16z