FR
EN
FR
EN
Challenges
Artificial intelligence
Factory of the Future
Digital Trust
Focus areas
Digital Health
Tomorrow’s mobility
Digital Manufacturing and Circular Economy
Cybersecurity
Dismantling and environmental technologies
Research programs
Responsible AI
Reliable, frugal, embedded, and distributed AI
Software development environments
User-driven development
Augmented digital engineering
Formal methods
AI forsystems engineering
Open-source tools for engineering
Digital instrumentation: seamless integration of sensors and algorithms
Multi-sensor and multi-mode technologies
Optimized, interoperable models
Diagnostics and prognostics
Smart robotics
Architectures and software
Robotic systems
Quantum computing
Algorithms
Design environment
CEA-List
About CEA-List
Our mission
The Carnot Network
Our ecosystems in France
European and international activities
Startups
Our technology platforms
Embedded systems design
Cybersecurity
DOSEO
Non-Destructive Testing platform
Structural health monitoring (SHM) platform
CISLAB
Artificial intelligence
SMART interactive robotics platform
Interactive multi-physics simulation platform (VIKI)
Software development environments
Publications
Activity reports
Scientific publications
Locations
Let’s become partners
Reasons to choose CEA-List
Our R&D partnerships
Technical and financial proposal
R&D contracts
Joint R&D labs
Framework agreements
Joint scientific research projects
Effective innovation protection mechanisms
Talents
Talents@List
Jobs at CEA-List
Job focus: research engineer
Job focus: R&D partnership manager
Innovation use cases and success stories
Use cases
Team-Sports
Smart maintenance
LOG’S
RamLab
Success stories
Arcure
Nanopix
CIL4Sys
Alkalee
Extende
News
Technological advances
Events
Press releases
Artificial intelligence
Factory of the Future
Digital Trust
formal-validation
FR
EN
Technological advances
• September 24, 2020
September 24, 2020 | Trusted AI: new advances in the formal validation of neural networks
Read more
Scroll Up
