Summary: Presenting the new Spec# Wiki!

Welcome! We (the Spec# team) are going to try and organize the Spec# documentation as a Wiki. We hope that this will lead to better documentation. (It couldn't be worse than what we already have...) We invite the Spec# community to add pages as they see fit.
Editing Note: Creating a link within any of the pages will automatically make them relative to the ""SpecSharp"" namespace. But if you "Preview" a page while you are editing it, then the links will not be correct. However when you save the page any links on it will be saved correctly.

The Spec# Website will continue to be the place to get the distribution, our research papers, as well as some other material.

It would be great if all samples are organized under the SamplesPage. Of course there is the ubiquitous FrequentlyAskedQuestions section also. Recent questions posted to the Spec# Wiki can be found at RecentQuestions. Spec# diagnostic help can be found at ErrorsAndWarnings. Sadly, there is also a page for KnownBugsOrProblems.

Introductory information can also be found at SpecSharpIntroduction. An introduction to the Spec# object model is at the SpecSharpObjectPrimer.

Suggested usage and paridgms are collected at SpecSharpPatterns. Other relevant topics may be found in PerformanceConsiderations.

While the Spec# community is encouraged to participate in discussion of "wish list" items at FutureShock, planned releases are at the discretion of the MicrosoftResearch Spec# team and are addressed in the RoadMap. And remember, at this stage Spec# is for NonCommercialUse only.