Sep 10 '07
GNAT Pro development environment is now available for Microsoft’s® .NET Framework. GNAT Pro’s launch on .NET broadens AdaCore’s expanding portfolio of Microsoft platforms, which already includes releases for Windows 2000®, Windows 2003®, Windows XP®, and Windows Vista®.
Jun 16 '06
SofCheck Inspector™ for Ada finds flaws early in the development process, assuring quality of today’s complex, mission critical applications, like those used in transportation, finance, communications and health care.