dafny:Dafny是一种可验证的编程语言-源码

Dafny是一种带有程序验证程序的编程语言。 在您输入程序时，验证程序会不断抬头并标记任何错误。 这个github站点包含以下材料： 资料来源 Windows，Mac，GNU / Linux和FreeBSD的 Wiki，包括 有关dafny语言和工具的文档位于。 参考手册可以，也可以。 （如果需要，可以生成LaTeX版本。） 社区 您可以在上询问有关Dafny的问题，或参加有关Dafny的一般讨论 。 试试达芙妮 开始使用Dafny的最简单方法是使用 ，您无需编写任何程序就可以编写和验证Dafny程序。 在，您还将找到在线Dafny教程。 使用VS Code也很容易，与Web浏览器相比，它为您提供了更好的用户体验。 设置 请参阅Wiki上的以及有关安装。 阅读更多 以下是开始使用Dafny的一些方法： 有关规范和代码验证基础的4部分课程： 讲座0：（19:08） 第1课：（20:5