以太坊智能合约的形式验证(英文)

该篇论文由微软研究院（MSR）、哈佛大学（HU）以及法国农业科学研究院（Inra）联合发布，旨在研究智能合约的形式验证。该论文用程序验证型的函数编程语言来创建了一个分析和验证以太坊智能合约的大框架。