GitHub repository: JohnLindonRobinson/esbmc-sbms
Primary language: Solidity
Created: 2023-03-15T11:33:21Z
Description: A benchmark system for the ESBMC (Efficient SMT-Based Bounded Model Checker) Solidity Frontend