Numalis is a software editor company that provides tools and services to make neural networks reliable and explainable. The company's tools validate and improve the reliability of critical calculation code, while also increasing accuracy and performance. Numalis helps clients meet the challenges of code validation in several highly critical contexts, and develops ISO standards to facilitate the adoption of AI throughout the industry. The company's Saimple tools range enables AI engineers to address two issues that slow down the adoption of AI: proving their robustness and their explainability. Numalis' tools rely on formal methods capable of satisfying the stringent safety requirements of sectors such as transportation, defense, healthcare, and finance, making them the first of their kind in the industry.