Sign inSign up

angeloferrando/solvent

By angeloferrando

•Updated about 2 years ago

A tool to formally verify smart contracts through SMT solvers.

Image
Security
Languages & frameworks
Developer tools
0

418

Tags for angeloferrando/solvent

Sort by

TAG

latest

Last pushed about 2 years by angeloferrando

docker pull angeloferrando/solvent:latest
DigestOS/ARCHCompressed size

106502e6fc46

linux/amd64

981.33 MB