Web3ReadList - https://github.com/ConsenSys/evm-dafny用于形式化证明 #formalVerify 的 #EVM

03:01 · Nov 20, 2022 · Sun

Web3ReadList

https://www.zellic.io/blog/formal-verification-weth 使用 Z3 求解器对 WETH 合约进行形式化证明 #formalVerify

https://github.com/ConsenSys/evm-dafny
用于形式化证明 #formalVerify 的 #EVM

GitHub - Consensys/evm-dafny: An EVM interpreter in Dafny

GitHub - Consensys/evm-dafny: An EVM interpreter in Dafny

An EVM interpreter in Dafny. Contribute to Consensys/evm-dafny development by creating an account on GitHub.

Powered by BroadcastChannel & Sepia