形式化符号执行虚拟机相关硕士博士期刊学术论文

随着区块链技术的发展,区块链安全问题愈发受到各方重视。智能合约作为区块链2.0的核心,其安全性受到更多的关注。形式化符号执行......