NOTE! This site uses cookies and similar technologies.

If you not change browser settings, you agree to it. Learn more

I understand

Learn more about cookies at :

25 june 2015 | CEA and Thales

Thales and CEA create joint laboratory for software and formal methods

Thales and CEA have signed a partnership agreement to create a new joint laboratory dedicated to formal methods for software. The new laboratory will bring together teams from CEA Tech and Thales who will share knowledge and expertise to implement new formal methods for validating software and critical systems.

Download press release