Version 4.6.3 of Atelier B

We are pleased to inform you that Atelier B 4.6.3 is available. It is exclusively reserved for maintenance holders, and is accessible from the account page. This version fixes, 133 bugs and several improvements are included: AtelierB CSSP B modelling and application programming for starter kits SK0 and SK1 Interactive proof Saved proofs can now […]

Rodin : relase 2.3.0 of the Atelier B prover plug-in

We are pleased to announce that the new relase 2.3.0 of the Atelier B prover plug-in is now available. This plug-in is made with the latest version of Atelier B provers: 4.6.3 (links to the announcement) This new version is 64-bit only, and works on all OSes supported by Rodin 3.3 https://sourceforge.net/p/rodin-b-sharp/mailman/message/37167811/

Version 4.5.1 of Atelier B for Mac-OS

Atelier B 4.5.1  is a Community Edition version, freely downloadable This installer allows the execution of AtelierB 4.5.1 on macOS 10.15, called “Catalina” We remind that 4.5.1 version improves the following functionalities : Simplified installation with Linux [4.5] Proof Obligation Generation For Event-B, specific proof obligations may be generated by the new proof obligation generator: […]

Version 4.5.5 of Atelier B

The version 4.5.5 Maintenance edition has been released It version fix a bug present since the first version of prover. This bug is related to the instantiation of universally quantified hypothesis, the capture of free variables was not properly checked, which could lead to incorrect proofs under specific conditions.

AFADL – GDR GPL: CLEARSY will give a presentation on the integration of third-party tools for automatic proof in Atelier B

The 18th edition of AFADL days (Approches Formelles dans l’Assistance au Développement Logiciel in french or Formal approaches to support software development) will take place in ENSEEIHT from the 11th to the 14th of June 2019. It will be in the same time as the annual rally of GDR GPL (Génie de la Programmation et […]

Version 4.5.1 of Atelier B

Atelier B 4.5.1 is a Community Edition version, freely downloadable This release fixes a bug on the C translator call from the user interface. For 4.5.0 information we can see the news or if you require more detailed information please refer to the 4.5 release notes —

Version 4.5 of Atelier B

Atelier B 4.5.0 is a Community Edition version, freely downloadable This version fixes, cumulatively  since version 4.2.1, 146 bugs and several improvements are included: Simplified installation with Linux [4.5] Proof Obligation Generation For Event-B, specific proof obligations may be generated by the new proof obligation generator: deadlock freeness, non-divergence, feasibility, coverage and exclusivity [4.5] Automatic […]

Conference on formal methods (FM 2018) – Oxford

During the international conference on formal methods (FM 2018), which will take place in Oxford on 15-17 July 2018, ClearSy will present its vision on the use of formal methods for the development of safety critical systems. The talk entitled “Disruptive Innovations for the Development and the Deployment of Fault-Tree Software” will be given the […]

International conference SBMF 2017

ClearSy will participate to the international conference SBMF 2017 (http://sbmf2017.cin.ufpe.br/) on formal methods that will take place on November 27-December 1 2017 in Recife (Brazil). At this occasion, ClearSy will present a scientific article entitled “Applying a Formal Method in Industry: a 25-Year Trajectory”. Moreover, a dedicated training session will be organized during ETMF 2017 […]