Presentation by CLEARSY on the verification of Statecharts with the B Method.

INRIA’s EVEREST team developed a formal B model of the Globalplatform specifications. You may download this model.

The RODIN project (development of an open platform to design systems that tolerate errors) has begun. The objective of this […]

B4free, the development environment for B models, is available to the scientific community: B4Free.com

CLEARSY in charge of the Signalling and Command Report for the RATP The SYMPHONIE SSI project aims to provide the […]

CLEARSY company specialised on safety systems provides services all over the world. But with placing on the market of SIL4 […]

The LCHIP collaborative project led by CLEARSY aims to produce a calculation platform able to automate the development of low-cost […]

CLEARSY participates on SIFER 2017, from 21st till 23rd March 2017, in the Grand Palais in Lille. SIFER, has for […]