AdaCore est un fournisseur d'outils Open Source et a développé une expertise dans le développement de logiciels mettant l'accent sur la fiabilité, la sécurité et la sûreté. Les produits phares d'AdaCore sont les environnement de développement GNAT Pro et SPARK Pro ainsi que CodePeer, vérificateur automatique de code. L'environnement de développement GNAT Pro prend en compte tous les outils nécessaires à la construction d'applications solides et sûres. Ada et GNAT Pro font face à un usage grandissant d'applications de haute fiabilité et sûres, avec notamment les avioniques des flottes commerciales, les systèmes militaires, le contrôle du traffic aérien, les systèmes ferroviaires et les services médicaux ainsi que dans des domaines très sensibles au niveau sécurité comme les services financiers.
http://www.adacore.com/