Formal Methods Wiki

I have created a new Formal Methods Wiki under
http://formalmethods.wikia.com . This includes new versions of the Virtual  Library forma methods 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

User Manual of B Language , Redaction Guide of Mathematic Rules

Deux nouveaux manuels dédiés à l'Atelier B sont désormais disponibles :
- Manuel Utilisateur du Langage B
- Guide de Rédaction de Règles Mathématiques
              
Ces derniers sont actuellement en français et disponibles en open-source (licence Creatice Commons - Paternité). Nous recherchons actuellement des traducteurs souhaitant réaliser
la traduction en anglais de ces 2 documents.
              
Pour participer à ce projet, merci de nous contacter à l'adresse suivante : contact@atelierb.eu.
Bien cordialement
CLEARSY SYSTEM ENGINEERING
Spécialiste des Systèmes Sécuritaires
              
              
Dear Users,
              
Two new manuals dedicated to Atelier B are now available :
              
User Manual of B Language
Redaction Guide of Mathematic Rules
              
              
These manuals are available in french and released as open-souce (License Creative Commons - Attribution). We are currently searching for translators wishing to
contribute to english translation of these 2 documents.
              
To participate to this work, please contact us: contact@atelierb.eu.
Best Regards
CLEARSY SYSTEM ENGINEERING
Specialist in Safety Critical Systems