kupl/VeriSmart-public

a safety verifier for Solidity smart contracts

语言：OCaml · GitHub 星标：95 · Fork：25

话题：blockchain · ethereum · formal-verification · program-analysis · smart-contracts · solidity · solidity-contracts

在 GitHub 上查看原仓库