CEA-List develops algorithms to help engineers face the challenges of designing complex systems.
Read more
The purpose of the INCA program is to make sophisticated formal verification methods accessible to all companies that develop code.
Read more
Assisting engineers with the design of increasingly software-intensive complex systems.
Read more