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