Founded in 1994, AdaCore supplies software development and verification tools backed by expert support, for mission-critical, safety-critical, and security-critical systems. The company’s flagship products are the GNAT Pro Ada development environment, the CodePeer advanced Ada static analysis tool, the SPARK Pro formal verification environment, and the QGen model-based development tool.
![Content Dam Etc Medialib New Lib Mae Sponsors A H 73696 Content Dam Etc Medialib New Lib Mae Sponsors A H 73696](https://img.militaryaerospace.com/files/base/ebm/mae/image/2019/01/content_dam_etc_medialib_new_lib_mae_sponsors_a_h_73696.png?auto=format%2Ccompress&w=250&width=250)