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 […]

The new version 4.4.2 of the AtelierB

The new version 4.4.2 of the AtelierB toolset for the B method has been released. This comes with numerous bug fixes and several feature improvement that will be introduced. The most interesting feature is probably the new capability of proof obligations visualisation and management directly within the editor. We have also two new capabilities for the interactive proof and additions to the proof rules management tools.

ClearSy organizes a technical seminar that will take place at Sherbrooke University, October 20, 2016 (from 10h30 to 12h).

The seminar, entitled “Proven software with B executing on Low Cost High integrity Platform”, is aimed at presenting the latest innovations concerning the use of the B formal method for the development of safety critical systems:

“Atelier B has been heavily used in industry, mainly in the railways, for the development of proven safety critical softwa

LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the highest Safety Integrated Level.

LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the highest Safety Integrated Level. LCHIP platform is a combination of a B method (formal method) Integrated Development Environment and a secured runtime platform able to execute software in real-time.

Atelier B has turned 20

At the occasion of the ABZ 2016 conference (http://www.cdcc.faw.jku.at/ABZ2016/)  which took place in Linz (Austria) on May 23-27 2016, ClearSy was invited to present the last 20 years of development and industrial use of Atelier B, and to expose forthcoming innovations including functional modelling (Abstract Model Editor), improved automatic proof and low-cost high-integrity platform (LCHIP). […]