Thursday, March 26, 2009

Formal Methods Wiki

I have created a new Formal Methods Wiki under . 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: URL:

Sunday, March 15, 2009

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 :
Bien cordialement
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:
Best Regards
Specialist in Safety Critical Systems