Fandom

Formal Methods Wiki

Formal Methods Wiki announcement

Redirected from Formal Methods Wiki:About

120pages on
this wiki
Add New Page
Talk0 Share
FMWiki2
http://formalmethods.wikia.com


I have created a new Formal Methods Wiki under http://formalmethods.wikia.com . This includes new versions of the Virtual Library formal methods (VLfm) pages, that are unfortunately now offline due to a disk error. These pages are now editable by anyone, so I am hoping that members of the formal methods community will improve these and bring them up to date, as well as adding new formal methods-related material.

The facility is based on Wikia, established by Jimmy Wales who also founded Wikipedia. The underlying wiki software is MediaWiki, the same as Wikipedia. I would encourage all members of the formal methods community to contribute any information related to formal methods to the wiki, including hyperlinks to further information. It is best although not essential to register with the site if you plan to do more that a small number of edits. This is very simple (similar to Wikipedia). If you are unsure of the MediaWiki markup, it is easiest to press the "Edit" button on a page that is similar to one you wish to create, copy the text, paste it into the new page, and edit it as required.

I hope this facility is helpful. Please don't worry about making mistakes since everything is easily correctable on a wiki; I will keep an eye on new entries and edit further as needed. I look forward to your active participation on the site!


Prof. Jonathan P. Bowen, Emeritus Professor, London South Bank University
Faculty of BCIM, Borough Road, London SE1 0AA, UK
Visiting Professor, King's College London
Email: jonathan.bowen@lsbu.ac.uk
URL: http://jpbowen.googlepages.com


See also

External links

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.