GRECO has for goal the human resources training, and development of digital systems and of methodologies for the design of such systems. Its field of work goes from systems specification down to the design of the digital component itself, including the steps of refinement, validation and prototyping.