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