This is a Microsoft Research project started in 2008 [1]. It was previously hosted on codeplex [2] [1] https://www.microsoft.com/en-us/research/project/dafny-a

This is a Microsoft Research project started in 2008 [1]. It was previously hosted on codeplex [2] [1] https://www.microsoft.com/en-us/research/project/dafny-a-language-and-program-verifier-for-functional-correctness/ https://www.microsoft.com/en-us/research/project/dafny-a-lan... [2] http://dafny.codeplex.com/wikipage/history http://dafny.codeplex.com/wikipage/history