Numalis développe des outils d’aide à la conception de codes critiques permettant d’évaluer la fiabilité et d’optimiser les performances numériques de programmes informatiques critiques. Ces outils, réunis dans les gammes Spoat et Wizoat sont vendus sous forme de licences qui s’accompagnent de différents services liés au support, la formation, l’amélioration et l’évolution des produits.
La gamme Spoat analyse le code dès le début : elle rassemble Spoat-Vulnerability, qui détecte automatiquement les vulnérabilités numériques, et Spoat-Trust, qui construit des plans de tests fiables de fonctions numériques.
La gamme Wizoat optimise les logiciels en fournissant un code à la fois stable et performant : elle est constituée de Wizoat-Arbitrage, qui simplifie le logiciel pour faciliter son intégration, et de Wizoat-Stability, qui réduit les instabilités numériques critiques en corrigeant les vulnérabilités numériques.

Numalis sells tools to help software engineers conceive critical codes, by evaluating the numerical reliability as well as by optimizing the numerical performance of their critical computer softwares. The tools, gathered in the Spoat and Wizoat ranges, are sold in the form of licenses accompanied by services related to the support, training, improvements and evolution of the products.
The Spoat range analyzes codes right from the start. It gathers Spoat-Vulnerability, which performs automatic detection of numerical issues and Spoat-Trust, which builds reliable benchmark for numerical functions.
The Wizoat range optimizes programs to help deliver a stable and efficent code. It gathers Wizoat-Arbitrage, which simplifies softwares to ease their integration and boosts their performance and Wizoat-Stability which reduces any critical system instability by correcting its numerical issues.