搜索筛选:
搜索耗时3.5622秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[学位论文] 作者：叶昊榀,
来源：南京财经大学 年份：2021
...
[期刊论文] 作者：叶昊榀,刘阳,,
来源：计算机仿真 年份：2021
针对智能合约对安全性方面的相关性质的极高要求,有必要改进已有的建模算法,提出将智能合约函数的函数体语句建模为DTMC的算法,并对生成的DTMC进行验证。通过为状态迁移添加概率,实现了对随机现象的关注。通过对调用函数的分类处理,精细化了对函数调用函数情况......
相关搜索：
