За AdaCore
AdaCore разработва комерсиални и инструменти с отворен код за Ada, SPARK, C, C++ и Rust. Инструментите ѝ за компилация, формално доказване, статичен анализ, тестване и измерване на покритието се използват в сектори като авиация и космонавтика, отбрана, железопътен транспорт, автомобилна индустрия, енергетика и медицински технологии.
Какво предлага AdaCore
Компилатори, формална верификация, статичен и динамичен анализ, тестване, измерване на покритието, среди за разработка, обучения и поддръжка за софтуер с висока степен на надеждност.
С какво се отличава AdaCore
AdaCore се фокусира върху инструментални вериги, които могат да бъдат независимо проверявани и поддържани дълго време, за регулирани системи и системи, критични за безопасността. Компанията стъпва на над 30 години опит с Ada и SPARK.