))
Formal Verification on Halmos, a Python FV tool! | With Karma from a16z
Manage episode 408636582 series 3564007
Sisällön tarjoaa cyfrin. cyfrin tai sen podcast-alustan kumppani lataa ja toimittaa kaiken podcast-sisällön, mukaan lukien jaksot, grafiikat ja podcast-kuvaukset. Jos uskot jonkun käyttävän tekijänoikeudella suojattua teostasi ilman lupaasi, voit seurata tässä https://fi.player.fm/legal kuvattua prosessia.
We speak about the Halmos tool, how Karma got into formal verification, and more.
And some gym tips!
14 jaksoa
Jaa
