All verified mentions of this organization in source documents.
Masten Space Systems expects a 20 to 30 percent increase in code reuse by using Ada, SPARK, and AdaCore’s products and support.
SEAKR Engineering upgraded its Ada development environment to GNAT Pro from AdaCore to improve code efficiency and reliability.