![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
The RIMEL (incremental refinement of event models) project was selected by the Agence National de la Recherche in the context […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY presented the R&D it is conducting with STMicroelectronics at the Same 2005 Conference and announces today that it will […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
Labsoc has selected our UML-B methodology works in the context of operating system models.
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
Controlling operational risks and safety. Lambda Mu 15 Conference in Lille from 9 to 12 October 2005. Meet CLEARSY at […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
Coppilot was presented on the occasion of the AFIS 2006 Conference (Association of French System Engineering) in Toulouse on May […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY participated in AFADL’06 (March 15, 16 and 17, 2006). Demonstration of a new support tool for system specifications: CompoSys.
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
Presentation by CLEARSY on the verification of Statecharts with the B Method.
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
INRIA’s EVEREST team developed a formal B model of the Globalplatform specifications. You may download this model.