Skip to main content
Essential news and insights on defense and aerospace electronic technologies.
Computers
Uncrewed
Power
Communications
Sensors
Sections
Computers
Uncrewed
Power
Communications
Sensors
Trusted Computing
RF/Analog
Test
Special
2026 Innovators Awards
Webinars
White Papers
Magazine
Parts Search
Buyer's Guide
Contact
Contact Us
Advertise
Magazine Subscription
Newsletter Subscription
Affiliated Brands
MICROWAVES & RF
ELECTRONIC DESIGN
Follow us on
https://www.facebook.com/pages/Military-Aerospace-Electronics/174732214480
https://www.linkedin.com/showcase/military-&-aerospace-electronics/
https://twitter.com/MilAero
Design and development tools
GNAT Pro Assurance
Related To:Â
AdaCore
March 13, 2019
Add Us On Google
View Image Gallery
GNAT Pro Assurance is a specialized edition of GNAT Pro for Ada or C, oriented towards projects requiring long-term support on a specific product version and/or safety certification.
Request More Information
Submit
By clicking above, I agree to Endeavor Business Media's Terms of Service and consent to receive promotional communications from Endeavor, its affiliates, and partners per its Privacy Notice. I also understand my personal information will be shared with the sponsor of this content, who may contact me about their offerings per their privacy policy. I can unsubscribe anytime.
Trending
DoD awards AeroVironment up to $500 million contract for Domestic Shield counter-UAS program
Honeywell-led group to develop compact quantum magnetometer for ESA
AFRL awards Booz Allen $25.3 million for quantum technology research project
Sponsored Picks
Load More Content