Dafny: A Language and Program Verifier for Functional Correctness - discu.eu

Hacker News

Dafny: A Language and Program Verifier for Functional Correctness http://research.microsoft.com/en-us/projects/dafny/ 10 comments 5/1/2016

Lobsters

Dafny: A language and program verifier for functional correctness http://research.microsoft.com/en-us/projects/dafny/ 4 comments 7/1/2016 compilers

Reddit

Dafny: A Language and Program Verifier for Functional Correctness http://rise4fun.com/dafny 21 comments 13/5/2017 programming