Podchaser Logo
Home
Cyfrin Audits PodcastEpisode from the podcastCyfrin Audits Podcast
Next Episode
Formal Verification on Halmos, a Python FV tool! | With Karma from a16z

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

Released Sunday, 24th March 2024
Good episode? Give it some love!
Formal Verification on Halmos, a Python FV tool! | With Karma from a16z

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

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

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

Sunday, 24th March 2024
Good episode? Give it some love!
Rate Episode
About
InsightsPodchaser Pro
Reviews
Credits
Lists
Transcript

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

 

And some gym tips!

Show More
Rate
Get this podcast via API

From The Podcast

Cyfrin Audits Podcast

This podcast is an audio archive of YouTube livestream recording with Patrick Collins and professionals in the web3 smart contract development field.

Join Podchaser to...

  • Rate podcasts and episodes
  • Follow podcasts and creators
  • Create podcast and episode lists
  • & much more

Episode Tags

Do you host or manage this podcast?
Claim and edit this page to your liking.
,

Unlock more with Podchaser Pro

  • Audience Insights
  • Contact Information
  • Demographics
  • Charts
  • Sponsor History
  • and More!
Pro Features
Podchaser Logo

Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More