机译:正式流程虚拟机,用于智能合同验证
School of Information and Software Engineering University of Electronic Science and Technology of China;
School of Information and Software Engineering University of Electronic Science and Technology of China;
Virtual machine; Programming language; Formal method; Higher-order logic theorem proving; Coq;
机译:正式流程虚拟机,用于智能合同验证
机译:SlockChain智能合同安全问题的正式验证框架
机译:基于高阶逻辑定理证明的智能合同验证的一般正式记忆框架
机译:朝着虚拟机级别的基于区块链的可配置和有效的运行时验证
机译:机器参与正式推理:提高自动化形式协助和验证系统的可用性。
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:基于事件-B基于智能合同的正式建模和验证方法
机译:关于浮点协处理器的形式验证及其与中央处理单元的组合