Good source of documentation

Feb 21, 2013 at 7:20 PM

I've been through the tutorials on rise4fun, but I'm looking for something a bit more advanced, in terms of using Dafny for larger examples, as well as a more complete description of the language. Where should I go next?

Feb 22, 2013 at 11:20 PM
To Redmond?

I suggest you take a look at the programs in the Dafny test suite. Note, the dafny0 test directory contains mostly unit tests that make sure that features work the way they should. But the other test directories contain many programs that are interesting by themselves. For example, the vstte2012 directory contains Dafny solutions to the VSTTE 2012 program verification competition. Some of these programs have more documenting comments than others.

If you're looking for certain language constructs, first check the Dafny Quick Reference. If that doesn't answer your questions, lacking a complete language manual at this time, I would suggest searching in the test suite (dafny0 included) for the construct you want more information about.