時間をかけてシステムの挙動についての深い形式的分析を行いました。特に、拒否信号、怒りの辞職、時間ロックの遷移に関する安全性と生存性の保証をチェックしました。

このページには第三者のコンテンツが含まれている場合があり、情報提供のみを目的としております（表明・保証をするものではありません）。Gateによる見解の支持や、金融・専門的な助言とみなされるべきものではありません。詳細については免責事項をご覧ください。