为了在基于智能合约的业务流程执行中实现信任和连续性，对此类智能合约的验证是必须的。基于区块链的智能合约在使用之前应该按照预期工作。由于区块链的不可变特性，一旦发布，任何bug或错误将成为永久性的，并可能导致巨大的经济损失。为了避免此类问题，需要验证智能合约的正确性和安全性。在本次调查中，我们考虑了智能合约，我们研究了智能联系人的正式验证方法。我们还利用漏洞检测方法研究了智能合约的安全保证。在此背景...