Contracts; Registers; Model checking; Switches; Connectors; Peer-to-peer computing;
机译:SlockChain智能合同安全问题的正式验证框架
机译:通过SlockChain和生成模型对智能OS有所了解的大型数据集应用程序的完整性验证和行为分类
机译:网络安全威胁情报知识交流基于区块链提案,基于区块链和智能合同,促进网络威胁和风险智能交流信息
机译:根据用户和区块链行为模型正式验证智能合同
机译:基于组件的方法来验证和确认正式软件模型。
机译:基于智能合约的自愿感知参与者协助基于SVM的非参数REM重现
机译:基于事件-B基于智能合同的正式建模和验证方法