klab:K框架证明浏览器和智能合约规范格式

实验室 注意：该软件仍处于开发的早期阶段。 如果您感到困惑，发现一些错误或仅需要一些帮助，请提出问题或通过与我们联系。 Klab是用于在生成和调试证明的工具，专门用于以太坊智能合约的形式验证。 它包括用于表达以太坊合约行为的简洁，以及一个交互式调试器。 安装 依存关系 该项目使用getopt和time的GNU版本。 OSX和gnu有复杂的关系，但是您可以运行： export PATH=/usr/local/opt/gnu-getopt/bin:/usr/local/opt/gnu-time/libexec/gnubin:/usr/local/opt/coreutils/libexec/gnubin: $PATH 使他们相处。 建造 克隆存储库并使用安装最新的稳定版本v0.4.0 git clone --branch v0.4.0 https://github.com/dapphub