Wikia

Formal Methods Wiki

Home

Talk3
116pages on
this wiki

Welcome

This is the
FMWiki2
The wiki about formal methods set up by Jonathan Bowen that anyone can edit. See announcement.

Tip: If you register with this website you will receive less advertisements.

116 articles since February 2009

News - events

ICTAC 2013 10th International Colloquium on Theoretical Aspects of Computing, Shanghai, China, 4-6 September 2013.
ICFEM 2013 15th International Conference on Formal Engineering Methods, Queenstown, New Zealand, 29 October - 1 November 2013.
FM 2014 Formal Methods Symposium, Singapore, 14-16 May 2014.

Contents   (view all pages)

Selected information
VL
Virtual Library

Helping out

Not sure where to start?
Adding content
Discussion and collaboration…
  • See the community portal to discover what people are working on, to give feedback or just to say hello.
  • Or look at the forums and coordinate with others on editing, projects, etc.

Featured information

Jonathan Bowen

J.P. Bowen

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 the excellent Z Word Tools for writing Z notation using Microsoft Word by Anthony Hall.

Start an article

The quickest way to add information is to enter a title in the box below. As a minimum, include brief information and a URL hyperlink to further information on the web. Do not worry too much about the entry, since you and others can improve it further later.

Alternatively, see a list of wanted pages. Please feel free to select any of these and start an article on that subject if you know something about it or can provide a URL hyperlink to additional information.


Around Wikia's network

Random Wiki