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
2021-03-24 21:23:01
3.75MB
C#
1