Press Release
Jul 19 '11
With the LDRA announcement of being able to test software for Homeland Security’s CWE compatibility standard, LDRA’s leadership in the security sector has been recognized by Military Embedded Systems.
Press Release
Jul 6 '11
Open Source coverage analysis tool wins prize in 14th annual award program
Press Release
Jun 30 '11
GNAT Pro to be used for safety-critical software development of railway control system
Press Release
Jun 22 '11
Targeting avionics, medical and automotive applications, LDRA integrated the LDRA tool suite with Code Warrior for HC08/HCS08, bringing powerful certification capabilities to this 8-bit footprint.
Press Release
Jun 7 '11
Increased flexibility and functionality for high-assurance systems
Press Release
May 2 '11
LDRA has developed the requirements-to-object–code traceability necessary for devices required to meet the most critical levels of certification. This comprehensive traceability ensures that verification problems found at the object-code level can be quickly and easily traced to the originating source code and requirements levels.
Press Release
May 2 '11
LDRA adds CWE Compatibility to its long suit of industry and programming standards. Sponsored by the U.S. Department of Homeland Security, CWE Compatibility confirms that the LDRA tool suite can identify common programming errors contributing to software containing potentially exploitable vulnerabilities.
Press Release
May 2 '11
The SPARK language shown to have fewest vulnerabilities.
Press Release
May 2 '11
GNAT Pro to be used on high-assurance software for global location and data collection system.