fsainas / contracts-verification-benchmark

An open benchmark for evaluating smart contracts verification tools.
13Updated last month

Alternatives and similar repositories for contracts-verification-benchmark:

Users that are interested in contracts-verification-benchmark are comparing it to the libraries listed below