Formal verification for re-entrant Solidity contracts | Heykuki News