))
Formal Verification on Halmos, a Python FV tool! | With Karma from a16z
Manage episode 408636582 series 3564007
Treść dostarczona przez cyfrin. Cała zawartość podcastów, w tym odcinki, grafika i opisy podcastów, jest przesyłana i udostępniana bezpośrednio przez cyfrin lub jego partnera na platformie podcastów. Jeśli uważasz, że ktoś wykorzystuje Twoje dzieło chronione prawem autorskim bez Twojej zgody, możesz postępować zgodnie z procedurą opisaną tutaj https://pl.player.fm/legal.
We speak about the Halmos tool, how Karma got into formal verification, and more.
And some gym tips!
14 odcinków
Udostępnij
