上传者: 43405220
|
上传时间: 2021-01-28 05:07:10
|
文件大小: 291KB
|
文件类型: PDF
The paper outline a framework to analyze and verify both the runtime safety and the functional correctness of Solidity contracts in F*, a functional programming language aimed at program verification.