ClearSy has the pleasure to announce the release of Atelier B 4.0. This version comes with a brand new mode of distribution : the download of Atelier B 4.0 is free a new maintenance contract tailored to your specific needs Among the main improvements of the tool : New supported operating systems: Mac OS X […]
Atelier B 4.0 is available in beta test 2
After 2 months testing the beta 1, here today Atelier B 4.0 beta 2. We wish to thank all contributors who helped us to improve this version. Windows (17 Mo) Linux (41 Mo) Mac OS (60 Mo) We thank in advance all the users who contribute to the improvement of this new version. To contact […]
Atelier B 4.0 is available in beta test
ClearSy make it available to users for get feedback on this version. We thank in advance all the users who contribute to the improvement of this new version. Windows (10Mo) Linux (30Mo) Mac OS (28Mo) Sources Files (780Ko) To contact us and send your comments and suggestions, contact us at: contact@atelierb.eu. More informations about Atelier […]
Atelier B 4.0 Screenshots
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: Work in progress
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 […]
ClearSy provides students and researchers with a license to use the Atelier B industrial tool
Until recently, students and researchers could use Atelier B installed on work stations in schools and universities. One-year licenses will now be distributed to students and researches so they can use the software on their own PC.
Atelier B 3.7.1
Version 3.7.1 of Atelier B is now available. It has corrected the minor anomalies of Atelier B on the proof type and interface verifier and compatibility with the xemacs EMACSPRI proof interface has been improved. The list of corrections is available : History of the Versions. The future version 3.7.2 is currently under development and […]
Conference : the B Method, from Research to Teaching
The University of Nantes has organized a conference on the B Method, which will take place on June 16, 2008 at the Cité Internationale des Congrès in the City of Nantes. For information on the conference program, we invite you to visit: the Nantes conference site the Conference blog
ABZ Conference 2008 from 16 to 18 September 2008, in London
The ABZ Conference 2008 has the objective of bringing together the B, Z and ASM communities. It will be organized around one joint day and 2 days belonging to each community, that is: the 15th International ASM Workshop, the 17th International Conference of Z Users, the 8th International Conference on the B Method. Information is […]
Atelier B 3.7 is available
Atelier B 3.7 has been available since 09/07/2007. It offers numerous improvements with major Atelier B functionalities in order to facilitate the developer’s work… Atelier B 3.7…