These research projects enable to discovery of new domains and/or to dig deeper into tecnhical subjects like

Automatic refinement, application of Event-B to microelectronics and VHDL code generation, test generation for certofying SCADE models, integration of state-of-the-art theorem provers to Atelier B, etc. The following table provides a synthetic picture of the public R&D projects ClearSy actively participated to.