一种区块链系统形式化建模与验证方法

摘要

本发明提供了一种区块链系统形式化建模与验证方法，包括：步骤1：根据有限状态机利用分层建模的方式建立单个节点的SDL(Specification and Description Language，规范描述语言)模型；步骤2：根据单个节点的SDL模型，利用模块化建模的方式建立区块链系统的SDL模型；步骤3：对整个所述区块链系统的SDL模型进行仿真分析；步骤4：形式化验证所述区块链系统的SDL模型的性质。