基本信息
Runtime Verification 使用形式化方法對公鏈上的虛擬機器和智慧合約進行安全審計，它還提供軟體測試、驗證服務和產品，以提高區塊鏈領域軟體系統的安全性、可靠性和正確性。
團隊成員
投資方
暫無資料
你今天對 Runtime Vеrification 的感受如何？
歷史總投票數： 164
Bullish
Bearish
Runtime Vеrification怎麼樣?
評論由用戶發布，不構成財務建議
關鍵事件
2021-06-21
Runtime Vеrification 完成 530 万undefined融資
