R&D ACTIVITIES


R&D ACTIVITIES (RESEARCH & DEVELOPMENT)


picto-b-130x130

ClearSy conducts R&D projects in various contexts: subsidized projects (Europe, France or regional) and internal projects.

THEMES


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.

FUNDED PROJECTS


> B4L4
> DEPLOY
> EQUAST
> FMERAIL
> FORCOMENT
> MATISSE
> PUSSEE
> REAIMS
> RIMEL
> RODIN
> VERBATIM

CLEARSY INTERNAL PROJECTS


> ATELIER B
> PROJET BART
> BRAMA
> BVM
> COMENC