Adacor

AdaCore is a software company founded in 1994 and based in Paris, France. The company specializes in software development and verification tools for mission-critical, safety-critical, and security-critical systems. With a team of around 175 employees, AdaCore focuses on helping developers create safe, secure, and reliable software across various industries, including avionics, space, defense, automotive, medical, energy, and IoT.