))
Formal Verification on Halmos, a Python FV tool! | With Karma from a16z
Manage episode 408636582 series 3564007
Контент предоставлен cyfrin. Весь контент подкастов, включая эпизоды, графику и описания подкастов, загружается и предоставляется непосредственно компанией cyfrin или ее партнером по платформе подкастов. Если вы считаете, что кто-то использует вашу работу, защищенную авторским правом, без вашего разрешения, вы можете выполнить процедуру, описанную здесь https://ru.player.fm/legal.
We speak about the Halmos tool, how Karma got into formal verification, and more.
And some gym tips!
14 эпизодов
Поделиться
