Ada compilers must follow a strict certification process (which is in itself an international standard), to ensure that all compilers are strictly conformant to the standard. This certification must be accomplished in registered laboratories, under the authority of the ACAA (Ada Compiler Assesment Authority).
ADALOG is such an ACAL (Ada Compiler Assesment Laboratory), i.e. a validation center officially recognized by the ACAA, which is another assesment of the recognized capability of the company in the fields of services in the Ada domain.
For more information, please contact Adalog (info@adalog.fr).