Artwork

Content provided by cyfrin. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by cyfrin or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ro.player.fm/legal.
Player FM - Aplicație Podcast
Treceți offline cu aplicația Player FM !

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

55:50
 
Distribuie
 

Manage episode 408636582 series 3564007
Content provided by cyfrin. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by cyfrin or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ro.player.fm/legal.

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

And some gym tips!

  continue reading

14 episoade

Artwork
iconDistribuie
 
Manage episode 408636582 series 3564007
Content provided by cyfrin. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by cyfrin or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ro.player.fm/legal.

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

And some gym tips!

  continue reading

14 episoade

Tất cả các tập

×
 
Loading …

Bun venit la Player FM!

Player FM scanează web-ul pentru podcast-uri de înaltă calitate pentru a vă putea bucura acum. Este cea mai bună aplicație pentru podcast și funcționează pe Android, iPhone și pe web. Înscrieți-vă pentru a sincroniza abonamentele pe toate dispozitivele.

 

Ghid rapid de referință

Listen to this show while you explore
Play