Smart contracts; Computer bugs; Debugging; Blockchain; Tools; Testing; Software engineering;
机译:Neucheck:更实用的Etereum Smart合同安全分析工具
机译:国内智能合约投机兼容性的实证研究
机译:基于Ethereum Smart合同的自动电源交易算法在微电网环境中
机译:好的,坏和丑陋的丑陋:陷阱和以外的智能合同自动声音静态分析中的最佳实践
机译:智能电网P2P能源交易智能合同:以外型实施和绩效评估
机译:更正:用于文化遗产分析的智能电化学便携式工具:评论。传感器2019194303
机译:47,587欧莱姆智能合约自动分析工具的实证综述