CodeSecure
AdaCore and CodeSecure agree to merger - News
June 18, 2025NEW YORK, NY and BETHESDA, Md. Mission-critical software provider AdaCore and embedded-software security company CodeSecure have announced a definitive merger agreement, under which the unified company (known as AdaCore) will cover software safety, security, and reliability across critical industries.