Static analysis; Smart contracts; Formal methods;
机译:基于Ethereum Smart合同的自动电源交易算法在微电网环境中
机译:Neucheck:更实用的Etereum Smart合同安全分析工具
机译:超越不良合同起草实践的陷阱:对跨境法律和文化误解的选择
机译:SmartCheck:以太坊智能合约的静态分析
机译:智能电网P2P能源交易智能合同:以外型实施和绩效评估
机译:智能合同意识到Ethereum和客户端 - 雾云保健系统
机译:好的,坏和丑陋的丑陋:陷阱和以外的智能合同自动声音静态分析中的最佳实践