文件名称：Paxos-in-Dafny:功能验证语言 Dafny 实现的 Paxos 共识算法
文件大小：1.14MB
文件格式：ZIP
更新时间：2024-06-25 20:43:32
C#
Paxos-in-Dafny 功能验证语言 Dafny 实现的 Paxos 共识算法 为 Windows 安装 获取 。 编译器不需要设置过程，您可以简单地将 zip 提取到合适的位置。 如果您安装了 2010 或更新版本，您还可以通过打开文件DafnyLanguageService.vsix 来安装 Dafny 语言扩展 编译 使用Dafny.exe或dfy-compile.bat打开 paxos.dfy。 如果dfy-compile.bat找不到Dafny.exe ，请在没有参数的情况下运行一次它可以找到它并将其添加到 %PATH% 系统变量。 在此之后， dfy-compile.bat可以在任何地方使用。 注意： Dafny 在 .NET 环境中运行。 确保您已安装 为 Mac OS X（可能还有 Linux）安装 下载并安装 。 获取 。 将 Dafny 安装（解压）到合适的文
【文件预览】：
Paxos-in-Dafny-master
----dfy-run.bat(241B)
----2015-05-15_JoakimHagen_PaxosInDafny.pdf(839KB)
----src()
--------v0.1()
--------v0.2()
--------v0.3()
----Paxos-in-Dafny.7z(42KB)
----PaxosInDafny.docx(99KB)
----dfy-compile.bat(968B)
----bacheloroppgave_forside.pdf(118KB)
----README.md(1KB)
----.gitignore(23B)
----bin()
--------v0.2()