Verifereum

Verifereum 是以高階邏輯 (#HOL) 實作的以太坊形式化模型，旨在實現以太坊生態系統 (#EVM) 中應用程式與工具的驗證，範圍涵蓋智慧合約到編譯器，以防止駭客攻擊，並提供最高等級的無漏洞程式碼保證。標籤：Infra Dev Platform Security Solutions Ecosystem(): Ethereum Founded: