Annuaire du CNLL (Montrouge)

AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.

We design digital solutions from the everyday to the mission critical — in artificial intelligence, hybrid cloud, infrastructure management, decarbonization and employee experience.

We turn crowd-powered intelligence into tactical intelligence with actionable blocklists to maximize your SOC efficiency and reduce your costs.

Accompagnement pour la sûreté de fonctionnement et la cybersécurité des systèmes critiques au travers des méthodes formelles