CEA-List and Obeo have initiated a collaboration to share their extensive, long-term experience in developing model-based software to serve a long-term vision for the web-based engineering tools of the future. The outcome will be multi-enterprise collaborative solutions, offering an augmented user experience and supporting emerging standards, like SysMLv2.
An open-source sandbox for creating, simulating, and evaluating machine learning algorithms that process data streams.
Test and optimize blockchain applications with an agent-based simulation engine.
Guaranteeing program safety and security with an open-source formal analysis environment for code written in C.
An electronic systems simulation environment for easier testing of complex software binary code.
Making software more secure through the formal analysis of executable code.
CIL4Sys Engineering, a systems engineering services company that works with major French companies, joined forces with CEA-List on a software engineering venture.