To achieve trust and continuity in the smart contracts-based business process execution, the verification of such smart contracts is mandatory. A blockchain-based smart contract should work as intended before using it. Due to the immutable nature of blockchain, any bugs or errors will become permanent once published and could lead to huge economic losses. To avoid such problems, verification is required to check the correctness and the security of the smart contract. In this survey, we consider the smart contracts and we investigate smart contacts formal verification methods. We also investigate the security assurance for smart contracts using vulnerabilities detection methods. In this context, we provide a detailed overview of the different approaches to verify the smart contracts and we present the used methods and tools. We show a description of each method as well as its advantages and limitations and we draw several conclusions.

为了在基于智能合约的业务流程执行中获得信任和连续性，必须对此类智能合约进行验证。基于区块链的智能合约应在使用之前按预期工作。由于区块链的不变性，任何错误或错误一旦发布便将永久化，并可能导致巨大的经济损失。为避免此类问题，需要进行验证以检查智能合约的正确性和安全性。在此调查中，我们考虑了智能合约，并研究了智能联系人的形式验证方法。我们还使用漏洞检测方法调查智能合约的安全保证。在这种情况下，我们提供了验证智能合约的不同方法的详细概述，并介绍了所使用的方法和工具。