GitHub repository: saurabhchalke/halmos
Primary language: Python
Description: A symbolic testing tool for EVM smart contracts