Accessible Smart Contract Verification: Synthesizing Formal Models with Tamed Language Models

💡 原文英文,约100词,阅读约需1分钟。
📝

内容提要

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

🏷️

标签

➡️

继续阅读