以太坊智能合约验证工具
Verifereum 是以太坊的形式化模型，采用高阶逻辑 (#HOL) 实现，旨在验证以太坊生态系统 (#EVM) 中的应用和工具，从智能合约到编译器，以防止黑客攻击并提供最高程度无漏洞代码的保障。标签：Infra、开发平台、安全解决方案、生态系统()：Ethereum、成立时间：
Founded
