Runtime Verification 使用形式化方法對公鏈上的虛擬機和智能合約進行安全審計，它還提供軟件測試、驗證服務和產品，以提高區塊鏈領域軟件系統的安全性、可靠性和正確性。