Yet another smart contract bug.
https://runtimeverification.com/blog/how-formal-verification-could-help-to-prevent-gridlock-bug/
—
#Ethereum #SmartContracts #Blockchain
Source Tweet
Yet another smart contract bug.https://t.co/q6NKwehJ8N
—#Ethereum #SmartContracts #Blockchain
— Đaniel McClure ⚡️? (@danielmcclure) July 14, 2019