IoT・OT(制御システム) & ブロックチェーンセキュリティ 【実務・中級編】 スマートコントラクトの形式検証(Formal Verification)の導入 – IoT・OT(制御システム) & ブロックチェーンセキュリティ防御ガイド
「テストコードを書けば安全」という幻想を捨てろ:形式検証(Formal Verification)がWeb3の現場で不可欠な理由現場で日々コントラクトを叩いていると、たまに「ユニットテストは100%通っているから大丈夫」なんて楽観的な言葉を...