形式化

DeFi
三分钟读懂区块链安全审计机构 Runtime Verification 形式化验证方案
随着 DeFi 的爆发式发展，代码的形式化验证和智能合约安全审计之间的交叉会越来越多。原文标题：《IOSG Weekly Brief #81 | 为什么我们领投 Runtime …
BTCover
28 8 月, 2021