dafny

57 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
dafny how to bound set comprehension resolver?
user_8219890
•
1
2
69
dafny set
Destructuring Syntax for Tuples?
user_7645760
•
1
1
26
dafny
prove decreases clause of mutually recursive class functions
user_8219890
•
2
1
74
dafny recursion
Asserted precondition might not hold in mutual inductive Dafny lemmas
user_98411840
•
2
1
217
dafny
Verifying Account Transfer in Dafny
user_192093330
•
3
2
46
dafny formal-verification
what is wrong with postcondition in Dafny?
user_130429870
•
1
1
100
dafny
Why is my Dafny assertion failing on both x == y and x != y?
user_153928150
•
1
1
98
dafny
Dafny: verify test case of array sorting with duplicates
user_57077860
•
4
1
107
dafny sorting
Can I allow preconditions on the argument to a higher-order function in Dafny?
user_111276660
•
2
1
65
dafny
Why can't dafny prove A[i-1] <= A[i] ensures A[i] <= A[j] for i <= j
user_146950850
•
2
1
127
dafny
Hot Questions