1 citations · 2 across the 8 of their papers we have counts for
1 paper · 1 filter
Zaoyu Chen, Haoran Qin, Nuo Chen +4
Smart contracts, predominantly written in Solidity and deployed on blockchains such as Ethereum, are immutable after deployment, making functional correctness critical. However, ex…