Dev Update: Formal Methods | Ethereum Foundation Blog by Angela Tan October 25, 2023 0 I’m becoming a member of Ethereum as a proper verification engineer. My reasoning: formal verification is sensible as a career ...