https://github.com/matrixainetwork/smartcontractformalverification
Smart Contract formal verification Python program
https://github.com/matrixainetwork/smartcontractformalverification
Last synced: 9 months ago
JSON representation
Smart Contract formal verification Python program
- Host: GitHub
- URL: https://github.com/matrixainetwork/smartcontractformalverification
- Owner: MatrixAINetwork
- License: mit
- Created: 2019-01-21T14:14:46.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2019-01-21T14:18:03.000Z (over 7 years ago)
- Last Synced: 2025-06-07T04:35:40.496Z (about 1 year ago)
- Language: Python
- Size: 447 KB
- Stars: 2
- Watchers: 1
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# SmartContractFormalVerification
Smart Contract formal verification Python program
安装过程：
1、安装python包
20:16 Packages installed successfully: Installed packages: 'z3'
20:21 Packages installed successfully: Installed packages: 'z3-solver'
20:24 Packages installed successfully: Installed packages: 'tokenlib'
20:26 Packages installed successfully: Installed packages: 'nltk'
20:27 Packages installed successfully: Installed packages: 'ply'
20:32 Packages installed successfully: Installed packages: 'document'
20:33 Packages installed successfully: Installed packages: 'docx'
然后选择
pip install python-docx
pip uninstall docx
因为docx有问题，不能直接用
pip install graphviz
然后可以运行为：
python merify.py -ce -s test/DAO.sol
生成执行文件为：
python 3.6 已经自己安装了pip，所以只需要执行 pip install pyinstaller就可以了
编译可执行文件
brew install upx
然后运行
python -O -m PyInstaller --onefile merify.py