Afin de vérifier la fiabilité des modèles d’intelligence artificielle, le CEA-List a développé un outil de test automatisé baptisé AIMOS, qui se base sur les méthodes formelles et facilite les processus de test.