theyoucheng/scbmc

Smart Contract Bounded Model Checker

Python