Verifying Security Vulnerabilities for Blockchain-based Smart Contracts. - Nedas Matulevicius; Lucas C. Cordeiro (SBESC, 2021)

ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. - Kunjian Song; Nedas Matulevicius; Eddie B. de Lima Filho; Lucas C. Cordeiro (ICSE-Companion, 2022)