形式的検証

Google DeepMindはソフトウェア検証AI「AlphaProof Code」を発表し、Signalプロトコルの安全性を数学的に証明しました。数年かかる検証を4週間で完了した成果を解説します。