GitHub repository: ApeWorX/halmos
Primary language: Python
Description: Symbolic bounded model checker for Ethereum smart contracts