一种完备的智能合约形式规范实现方法

摘要

本发明公开了一种完备的智能合约形式规范实现方法，该方法包括步骤(1)确定智能合约函数的可达性；(2)确定智能合约函数的返回结果；(3)确定智能合约函数的状态及状态转移；该方法用于帮助开发者编写智能合约的完备的形式规范。同时基于此方法，开发者可以总结出不同业务场景下针对智能合约形式的完备的形式规范编写流程。本发明的价值在于通过建立完备的形式规范，提高了智能合约形式验证技术本身的安全性，降低了开发人员对智能合约进行形式验证的学习成本。