Jul 6 '11
Open Source coverage analysis tool wins prize in 14th annual award program
Jun 30 '11
GNAT Pro to be used for safety-critical software development of railway control system
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.
Jun 7 '11
Increased flexibility and functionality for high-assurance systems
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.