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.