Labsoc has selected our UML-B methodology works in the context of operating system models.

Controlling operational risks and safety. Lambda Mu 15 Conference in Lille from 9 to 12 October 2005. Meet CLEARSY at […]

Coppilot was presented on the occasion of the AFIS 2006 Conference (Association of French System Engineering) in Toulouse on May […]

CLEARSY participated in AFADL’06 (March 15, 16 and 17, 2006). Demonstration of a new support tool for system specifications: CompoSys.

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