Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/kupl/VeriSmart-public

a safety verifier for Solidity smart contracts
https://github.com/kupl/VeriSmart-public

blockchain ethereum formal-verification program-analysis smart-contracts solidity solidity-contracts

Last synced: about 5 hours ago
JSON representation

a safety verifier for Solidity smart contracts

Host: GitHub
URL: https://github.com/kupl/VeriSmart-public
Owner: kupl
License: other
Created: 2020-05-17T10:15:42.000Z (over 4 years ago)
Default Branch: master
Last Pushed: 2023-01-17T00:45:51.000Z (about 2 years ago)
Last Synced: 2023-10-20T21:04:23.791Z (over 1 year ago)
Topics: blockchain, ethereum, formal-verification, program-analysis, smart-contracts, solidity, solidity-contracts
Language: OCaml
Size: 220 KB
Stars: 78
Watchers: 5
Forks: 25
Open Issues: 7
Metadata Files:
- Readme: README.md
- License: LICENSE