Just in case you’ve missed any of these, here are some of the latest AdaCore press releases:
- SPARK Pro Adopted by secunet
- AdaCore Announces Hi-Lite Project
- Rockwell Collins Selects SPARK Pro for Security and Information Assurance
- GNAT Pro High-Integrity Edition For VxWorks MILS Platform now available
- MBDA Extends Global Software Licensing Agreement with AdaCore
- SPARK Pro 9 now available
- Barco selects GNAT Pro for Advanced Avionics Applications
- AdaCore Releases GNAT Pro 6.3
- GNAT Pro support for PikeOS
- AdaCore Launches CodePeer Tool
To see a list of upcoming AdaCore events, go here.
Or how about a nice list of Ada gems?