可访问的智能合约验证：与驯服的语言模型合成形式模型

本研究提出了一种新方法，通过自动化生成正式模型，利用大型语言模型简化区块链软件验证，显著缩短时间并提高智能合约审计的可及性。