A complete security application development environment for EALs 1 through 7
AdaCore, a leading supplier of Ada development tools and support services, today announced the first major release of its GNAT Pro High-Integrity Edition for MILS.
Press Release
May 4 '10
