))
Deep Dive into Formal Verification with Palina Tolmach
Manage episode 408596296 series 3564007
コンテンツは cyfrin によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャスト コンテンツは、cyfrin またはそのポッドキャスト プラットフォーム パートナーによって直接アップロードされ、提供されます。誰かがあなたの著作物をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。
Get ready for an enlightening live session as Patrick Collins interviews Palina Tolmach from Runtime Verification. This deep dive into the world of formal verification will explore how Runtime Verification is advancing smart contract security and reliability. Palina Tolmach brings expert insights into the sophisticated techniques and tools used in formal verification. Don't miss this opportunity to learn about the cutting-edge methods that are crucial for the integrity and security of blockchain technologies. Tune in to this live interview for a comprehensive understanding of how Runtime Verification is shaping the landscape of smart contract verification.
14 つのエピソード
シェア
