Solidity Parsing Using SmaCC: Challenges and Irregularities
Formal Verification of Smart Contracts: Short Paper