Sollya est à la fois un environnement et une biliothèque pour le développement de codes numériques sûrs. Sollya permet en particulier d'automatiser l'implémentation de bibliothèques mathématiques (libm).