Welcome to Formal Methods Wiki
The wiki about formal methods set up by Jonathan Bowen that anyone can edit
133 articles since (Month) (Year)
Contents (view all pages)
|
|
What's new on Formal Methods Wiki
- 27 February 2009 - launch of the Formal Methods Wiki
- This wiki is for information on formal methods. It is planned that information from the Virtual Library↑ formal methods pages will be transferred to this wiki.
Helping out
To write a new article, just enter the article title in the box below.
- Not sure where to start?
- Find out more about the wiki on the About page.
- If you are new to wikis, check out the tutorial, and see Help:Contents.
- Check out Help:Starting this wiki if you wish to help in setting up the wiki. Community involvement is encouraged!
- Adding content
- Every wiki has two list of articles that need help called "Stubs" and "Wanted Articles". Don't be shy, get in there.
- Uploading images is another really easy way to help out - see the Special:Upload page!
- You can find a list of useful templates on Category:Templates, some of which are documented on the templates project page.
- Talk and more...
- Check out the community portal to see what the community is working on, to give feedback or just to say hi.
- Or head on over to the forums and coordinate with the community on editing, projects, and more.
Featured information
This wiki has been set up by Jonathan Bowen with the aim of allowing the formal methods community to add content that may be too detailed or technical for Wikipedia.
Featured article
See Anthony Hall↑'s excellent Z Word Tools for writing Z notation using Microsoft Word↑.