Runtime Vеrification

ランタイム検証は、パブリック ブロックチェーン上の仮想マシンとスマート コントラクトのセキュリティ監査を実行するために形式手法を使用します。また、ブロックチェーン分野のソフトウェア システムの安全性、信頼性、正確性を向上させるソフトウェア テスト、検証サービス、製品も提供します。