@inproceedings{0260d9e725d84770a3f53ae048cbbe4d,
title = "Formal modeling and verification of smart contracts",
abstract = "Smart contracts can automatically perform the contract terms according to the received information, and it is one of the most important research fields in digital society. The core of smart contracts is algorithm contract, that is, the parties reach an agreement on the contents of the contract and perform the contracts according to the behaviors written in certain computer algorithms. It not only needs to make sure about the correctness of smart contracts code, but also should provide a credible contract code execution environment. Blockchain provides a trusted execution and storage environment for smart contracts by the distributed secure storage, consistency verification and encryption technology. Current challenge is how to assure that smart contract can be executed as the parties{\textquoteright} willingness. This paper introduces formal modeling and verification in formal methods to make smart contract model and verify the properties of smart contracts. Formal methods combined with smart contracts aim to reduce the potential errors and cost during contract development process. The description of a general and formal smart contract template is provided. The tool of model checking, SPIN, is used to verify the correctness and necessary properties for a smart contract template. The research shows model checking will be useful and necessary for smart contracts.",
keywords = "Formal methods, Formal verification, Model checking, Modeling, SPIN, Smart contracts",
author = "Xiaomin Bai and Zijing Cheng and Zhangbo Duan and Kai Hu",
note = "Publisher Copyright: {\textcopyright} 2018 Copyright is held by the owner/author(s). Publication rights licensed to ACM.; 7th International Conference on Software and Computer Applications, ICSCA 2018 ; Conference date: 08-02-2018 Through 10-02-2018",
year = "2018",
month = feb,
day = "8",
doi = "10.1145/3185089.3185138",
language = "英语",
series = "ACM International Conference Proceeding Series",
publisher = "Association for Computing Machinery ",
pages = "322--326",
booktitle = "Proceedings of 2018 7th International Conference on Software and Computer Applications, ICSCA 2018",
address = "美国",
}