News

NEW YORK--(BUSINESS WIRE)--AdaCore, a trusted provider of software development and verification tools, announces that Collins Aerospace has selected AdaCore’s QGen code generator for Simulink ® ...