Ghila CastelnuovoinCertoraFormal Specification with CVL: From ERC20 to Read Only ReentrancyFormal Verification (FV) for smart contracts has never realized its potential adoption due to three prevalent misconceptions: 1. It is…Jul 19, 2023Jul 19, 2023