))
Formal Verification on Halmos, a Python FV tool! | With Karma from a16z
Manage episode 408636582 series 3564007
المحتوى المقدم من cyfrin. يتم تحميل جميع محتويات البودكاست بما في ذلك الحلقات والرسومات وأوصاف البودكاست وتقديمها مباشرة بواسطة cyfrin أو شريك منصة البودكاست الخاص بهم. إذا كنت تعتقد أن شخصًا ما يستخدم عملك المحمي بحقوق الطبع والنشر دون إذنك، فيمكنك اتباع العملية الموضحة هنا https://ar.player.fm/legal.
We speak about the Halmos tool, how Karma got into formal verification, and more.
And some gym tips!
14 حلقات
مشاركة
