|
SpotlightUpcoming EventMilitary Open Source Software (Mil-OSS) »August 2-5, Washington, D.C. Featured TechnologyAda 2012 »See the new features being introduced in the latest language revision Featured TechnologyGNAT Pro for MILS »When software must be safe and secure. Featured VideoOpen-DO conference »Videos of the presentations given at this year’s conference. Featured TechnologyThe Tokeneer Project »A hands on look at an NSA funded, highly secure biometric software system. |
|
AdaCore News
- SPARK Pro Adopted by secunet
- Achieving Embedded Software Safety with Agility (Embedded Technology)
- Why is static analysis a challenge? (Embedded-news.tv)
- 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
- Expressive vs. permissive languages: Is that the question? (Embedded.com)
- View all »
Shortcuts
| Development Solutions | Technology Links | Product Updates |
|---|---|---|
