智能合约形式化规约与验证综述
软件工程
2021-04-20 v3
摘要
智能合约是一种计算机程序，允许用户在区块链平台上自动化其操作。鉴于智能合约在供应链、金融、法律与医疗等行业支持重要活动的意义，对验证与确认技术存在强烈需求。然而，绝大多数智能合约缺乏任何形式的正式规约，而这对于确立其正确性至关重要。本综述中，我们调研了文献中提出的智能合约形式化模型与规约，并给出系统性概览以理解共同趋势。我们还讨论了当前用于验证此类属性规约的方法，并识别差距，以期认清未来工作的有前景方向。
引用
@article{arxiv.2008.02712,
title = {A Survey of Smart Contract Formal Specification and Verification},
author = {Palina Tolmach and Yi Li and Shang-Wei Lin and Yang Liu and Zengxiang Li},
journal= {arXiv preprint arXiv:2008.02712},
year = {2021}
}