Web3ReadList - https://medium.com/nethermind-eth/introduction-to-horus-part-1-fbc16af3ba67#cario 智能合约 #formalVerify 形式化证明工具 #Horus 的使用说明

16:56 · Feb 23, 2023 · Thu

https://medium.com/nethermind-eth/introduction-to-horus-part-1-fbc16af3ba67
#cario 智能合约 #formalVerify 形式化证明工具 #Horus 的使用说明

Introduction to Horus — Part 1

Introduction to Horus — Part 1

Horus is an open-source automated formal verification tool that helps Starknet developers detect bugs in their smart contracts

Powered by BroadcastChannel & Sepia