R&D ACTIVITIES
R&D ACTIVITIES (RESEARCH & DEVELOPMENT)

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