Blockchain; Smart contracts; Parametric Resource Analysis; Static analysis; Constraint horn clauses; Program transformation;
机译:源代码度量和智能合同资源消耗的实证分析
机译:通过智能合同对SlockChain中的东西传感器数据存储互联网的成本分析
机译:葡萄牙能源“公用事业”的效率绩效和成本结构-非参数和参数分析
机译:使用静态资源分析在烟雾中运行以防止以太坊智能合约中的气体漏洞
机译:带有两个期货合约的交易成本的最优投资和消费的渐近分析。
机译:提高步行速度降低了心血管疾病的门诊患者的住院费用。基于MultiSrata非参数测试的分析
机译:智能合同分析工具有多效益?评估智能合同静态分析工具使用Bug注入