智能合同是一种计算机程序，允许用户在区块链平台上自动执行他们的操作。鉴于智能合同在支持供应链、金融、法律和医疗服务等行业领域的重要活动方面的重要性，对验证和确认技术有着强烈的需求。然而，绝大多数智能合约缺乏任何形式的规范，而这对于建立它们的正确性是必不可少的。在本次调查中，我们调查了文献中提出的智能合同的正式模型和规范，并提出了一个系统的概述，以了解共同的趋势。我们还讨论了目前用于验证此类属性规格...