dafny
-
在 Dafny 中寻找 Search and Replace 的终止措施？
-
函数中的 Dafny 语法错误
-
如何提示 Dafny 对序列进行归纳？
-
我如何在 Dafny 中表示一对（二元组）？
-
为什么在 Dafny 函数中使用 new 会出错？
-
验证移动数组区域的 Dafny 方法
-
Dafny 能否以非交互方式使用，例如从 python 程序中使用？
-
Dafny 插入方法，此 return 路径上可能没有后置条件
-
达夫尼 "no terms found to trigger on" 错误信息
-
Dafny 和发生次数计数
-
Dafny：数组方法验证的旋转区域
-
Dafny Insert int into Sorted Array 方法
-
dafny 中的无效段计数
-
Dafny-recursiveSum 断言违规
-
Dafny：复制数组区域方法验证
-
Dafny - 在 if 语句中调用方法？
-
为什么这个涉及数组的 Dafny 断言会失败？
-
插入排序的愚蠢实现
-
如何在方法的预执行和post-执行状态之间建立联系？