Ethereum
Dev Update: Formal Methods | Ethereum Foundation Blog
Iām joining Ethereum as a formal verification engineer. My reasoning: formal verification makes sense as ...