R&D ACTIVITIES (RESEARCH & DEVELOPMENT)
ClearSy conducts R&D projects in various contexts: subsidized projects (Europe, France or regional) and internal projects.
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.
CLEARSY INTERNAL PROJECTS
> ATELIER B
> PROJET BART