關於Runtime Vеrification

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