Questions tagged [dafny]
For questions about Dafny, the verification-aware programming language.
2 questions
2
votes
1
answer
92
views
Proving factors of GCD in Dafny
While trying to prove various properties of GCD I ran into a proof I am a bit stumped with. Gcd can be defined as the max element in the intersection of the divisors of two numbers. In the code I used ...
- 181
4
votes
0
answers
78
views
Verify maximal diameter of a tree in Dafny
I am trying to learn formal methods and have been learning Dafny and practicing by verifying Leetcode problems.
I have gotten stuck on this one. https://leetcode.com/problems/diameter-of-binary-tree/...
- 181