dafny

57 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Method precondition fails after 4 calls to the method - Value uniqueness in array
user_46011490
•
2
1
95
dafny arrays
compiling dafny to java
user_33573520
•
1
1
170
dafny java
Is it possible to call a function inside of a constructor in dafny?
user_94293750
•
2
1
113
dafny formal-verification
Dafny multisets
user_140823850
•
2
1
255
theorem-proving dafny multiset
While loop termination with null references in Dafny linked list implementation
user_151973130
•
4
1
172
dafny formal-verification
Proving size of Binary Search Tree in Dafny
user_147207940
•
2
1
206
dafny
For an array in Dafny whats the difference between old(a[0]) and old(a)[0]
user_140574480
•
2
1
509
dafny
Why this dafny post-condition is not inferred?
user_114501660
•
2
1
201
formal-methods dafny formal-verification formal-languages assert
How do you tell Dafny to use a lemma when validating termination
user_25072570
•
2
1
153
dafny terminate hint
Can Dafny verify summing elements from the right?
user_25072570
•
2
1
238
induction dafny loops
Hot Questions