Home |
B News |
B Method |
R&D Activities |
Formal Proof |
Publications |
Conferences |
B, the different languages |
Open Source Projects |
B Tools |
Documents |
Links |
Contact
|
Rodin User and Developer Workshop, University of Southampton, 16-17 july 2009 .:. posted by ClearSy the 20-03-09 at 10h52 .:.
|
 On behalf of the DEPLOY Project, the University of Southampton is organizing this year a workshop dedicated to the RODIN tool, for both users and developers. This event aims at sharing experiences on RODIN, and at presenting the forthcoming developments.
For more information: Eventb.org. |
|
|
Atelier B 4.0 is available ! .:. posted by ClearSy the 23-02-09 at 10h50 .:.
|
 ClearSy has the pleasure to announce the release of Atelier B 4.0. This version comes with a brand new mode of distribution :
Among the main improvements of the tool :
- New supported operating systems: Mac OS X and Windows (in addition to Linux and Solaris)
- New graphical interface including:
- the integration of the parallelisor (tasks are distributed over networked computers)
- a redesigned proof interface
- o an editor with navigation and automatic completion
- Integration of the well-definedness proof obligations
- Addition of an automatic refiner tool (BART)
Download Atelier B. |
|
|
Conference: the B Method, from Research to Teaching .:. posted by ClearSy the 10-02-09 at 10h49 .:.
|
 The University of Nantes is organizing a new conference on the B Method, which will take place on June 8, 2009 at the Cité Internationale des Congrès in the City of Nantes. ClearSy will present the latest developments of Atelier B, during a presentation entitled: "New features of Atelier B 4.0".
To register at this conference, please visit: www.lina.sciences.univ-nantes.fr
For information on the conference program, please visit:
|
|
|
Atelier B The new version of Atelier B is in beta test 2 .:. posted by ClearSy the 01-12-08 at 10h47 .:.
|
 More informations about Atelier B 4.0 on the Atelier B website... |
|
|
ABZ 2010 Conference .:. posted by ClearSy the 18-11-08 at 10h39 .:.
|
 ClearSy will participate to the ABZ 2010 Conference that will take place in Orford (Canada) from the February 23rd to 25th 2010. This event has the objective of bringing together the ASM, B and Z communities. Thierry Lecomte will include part of the ABZ 2010 program committee.
|
|
|
IFM 2009, 7th International Conference on Integrated Formal Methods .:. posted by ClearSy the 17-11-08 at 10h36 .:.
|
 ClearSy will be participating to the IFM 2009 (Integrated Formal Methods) that will take place in Duesseldorf from the February 16th to the 19th 2009. This 7th edition will focus on the integration of formal methods.
|
|
|
FMICS 2009 International Workshop .:. posted by ClearSy the 17-11-08 at 10h35 .:.
|
 ClearSy has the pleasure of announcing its participation to the FMICS 2009, that will take place at the University of Eindhoven from the November 2 to 3rd 2009. This event will take place as a working group on formal methods used in the development of critical industrial systems.
|
|
|
The new version of Atelier B is in beta test .:. posted by ClearSy the 22-09-08 at 10h34 .:.
|
| More informations about Atelier B 4.0 on the Atelier B website... |
|
|
Atelier B 4.0 Screenshots .:. posted by ClearSy the 05-08-08 at 10h33 .:.
|
While waiting for the release of Atelier B 4.0, here a few sneak preview screenshots of our application on the Windows, Linux and Mac Operating Systems (OS)...
|
|
|
Atelier B 4.0 .:. posted by ClearSy the 05-08-08 at 10h31 .:.
|
The alpha version of the Atelier B 4.0 has been distributed to a small number of users in order to gather comments and opinions concerning the tool.
Atelier B 4.0 will be available to all users in beta version in the course of september 2008.
We will keep you posted on the evolutions of the version 4.0 of Atelier B until its final release to the general public. |
|
|
|
