AI models are rapidly making inroads into a wide range of industrial use cases. CEA-List has developed automated testing software called AIMOS that leverages formal methods to make reliability testing simpler and easier. The software was developed under the multi-partner Confiance.ai trustworthy AI program, part of the “France 2030” national investment plan.
Read more