AdaSquore

French Agency DGA Selects SQUORE with AdaCore’s GNAT Pro for auditing and certifying military software initiatives

Janvier 2016 - the Direction Générale de l’Armement (DGA) – the French government agency that oversees military procurements – has selected AdaCore and SQUORING Technologies to provide a graphical tool, AdaSquore, for military and civil avionics software audits. Featuring a smart dashboard that monitors the quality metrics of critical components, AdaSquore will facilitate the analysis of existing and new code in Ada and SPARK, and will support the processes defined in the DO-178C...