The international conference on formal methods (FM 2018)

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

Formal methods for cyber-physical systems – Shonan

ClearSy will organize an invitational scientific seminar on the industrial use of formal methods for cyber-physical systems, in Shonan (south of Tokyo), from the 05th to the 09th of November 2018. This seminar will be an opportunity to review the practices and needs of industry and review how the formal methods could answer it. A […]

Formal methods in action in the railways

Formal methods are now industry ready, able to scale up to real siez railway projects and to provide a real for successfully completing safety demonstrations. In this white paper, we show that several formal methods (B, Event-B, formal data validation) directly contribute to safety critical software development, system-level sprecification analysis and constant parameters validation, with […]

International conference SBMF 2017

ClearSy will participate to the international conference SBMF 2017 ( 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 […]

b2llvm: B developments onto the LLVM

David Deharbe – Universidade Federal do Rio Grande do Norte, Natal, Brazil Abstract: In this talk we describe a multi-platform code generator for the B method. In particular, we present a translation procedure from a larghe subset of the B language for implementations towards LLVM source code. This translation is defined formally as a set […]

ABZ 2014

ABZ 2014 conference was held from June 2d to 6th  in Toulouse. It was attended by about 120 people and allowed B, Z, ASM, Alloy and VDM communities  to meet and exchange ideas. The diversity and relevance of the work presented, as well as the presence of significant industrial, reflect a growing force in the […]

Formal Data Validation Tutorial at ABZ 2014, Toulouse

At the occasion of the ABZ 2014 conference, a tutorial on formal data validation is organized at ENSEEIHT together with workshops (see details here). The tutorial will happen on June 3rd 2014 from 2:00 pm to 5:30 pm. During this tutorial, formal data validation principles will be exposed (key concepts, mathematical language to express properties, […]

Presentation to M2 STL students

On March 14th, 2014, we shall present to M2 STL students – Pierre & Marie Curie University in Paris, various industrial cases of the use of the formal B method.

Newcastle University Technical Seminar

ClearSy is contributing to a technical seminar organized by Newcastle University on 24 October 2013. Formal methods are used worldwide to improve safety in several railways applications, at various levels and with a wide range of results obtained. This presentation is intended to provide a unified (not agnostic) overview of existing practices and to assess to which […]