AdaCore

Overview

AdaCore, founded in 1994 and based in France, operates within the Business Services industry, specifically focusing on custom software and IT services. The company specializes in high-assurance programming languages, notably SPARK and Ada, which are designed for applications where reliability, safety, and security are paramount. AdaCore's expertise is evident in its published document comparing SPARK with MISRA C and Frama-C, which highlights the strengths of SPARK in meeting high-assurance requirements through formal analysis capabilities. The document underscores SPARK's design features that enhance software reliability, such as restrictions on certain programming constructs to eliminate unspecified behaviors. AdaCore's technology has been applied in various critical domains, including air traffic management and hypervisor kernels, indicating its commitment to developing tools that support the creation of secure and reliable software systems. With a workforce of 51 to 200 employees and reported revenues of approximately 42.65 million USD, AdaCore continues to contribute to the field of information technology and software development through its specialized offerings.

Industry