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.