文件名称：使用K框架对智能合约进行形式验证
文件大小：158KB
文件格式：ZIP
更新时间：2024-04-27 05:12:23
tokens blockchain security
我们分析形式验证的利弊。
【文件预览】：
Formal-Verification-of-Smart-Contracts-with-the-K.pdf
使用K框架对智能合约进行形式验证
【文件属性】：
【文件预览】：
Formal-Verification-of-Smart-Contracts-with-the-K.pdf
【文件预览】：
Formal-Verification-of-Smart-Contracts-with-the-K.pdf