Numalis est une société d’édition de logiciels spécialisée en méthodes formelles qui fournit des outils et services d’aide à la conception et la validation de systèmes d’IA pour les rendre plus fiable et plus explicable. Elle participe également à la standardisation des IA au travers des comités de ISO/IEC, CEN CENELEC, AFNOR et HAS. 

Numalis accélère l’adoption de l’IA dans des secteurs critiques en fournissant des outils et des services pour s’assurer de la fiabilité des systèmes d’IA. Elle améliore les phases de design, d’entrainement et augmente la confiance dans les IA. 

Numalis est la seule entreprise à permettre l’utilisation de méthodes formelles pour s’assurer de leur robustesse et de leur explicabilité.