GitHub repository: tosofia/contracts-verification-benchmark
Primary language: Solidity
Description: An open benchmark for evaluating smart contracts verification tools.