Verifereum

Verifereum是一种以高阶逻辑（＃HOL4）实现的以太坊的正式模型，旨在验证以太坊生态系统（#EVM）中的应用和工具，从智能合约到编译器，以防止黑客攻击，并提供最高的保证并提供安全保证的无漏洞代码。