Hacker News
- Dafny: A Language and Program Verifier for Functional Correctness http://research.microsoft.com/en-us/projects/dafny/ 10 comments
Lobsters
- Dafny: A language and program verifier for functional correctness http://research.microsoft.com/en-us/projects/dafny/ 4 comments compilers
Linking pages
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:research.microsoft.com
Search title: Dafny: A Language and Program Verifier for Functional Correctness - Microsoft Research
See how to search.