GitHub repository: victorl2/smart-contract-verifier
Primary language: Python
Description: Verificação de smart contracts em modelos formais de Blockchain utilizando lógica dinâmica