Home LDRA Verifies the Little Bits of Safety-Critical and Security-Critical Applications
 

Keywords :   


LDRA Verifies the Little Bits of Safety-Critical and Security-Critical Applications

2014-03-31 06:00:00| Industrial Newsroom - All News for Today

LDRA scales down to verify highly constrained, low-power embedded applications<br /> <br /> San Jose, CA. &ndash; LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, has yet again taken a leadership role in providing verification for highly constrained applications. By optimizing its analysis and testing technology, LDRA has enhanced the ability of the LDRA tool suite to scale down to meet the increasing number of highly constrained, ...This story is related to the following:Testing Software | Software Development Tools |

Tags: applications bits verifies

Category:Industrial Goods and Services

Latest from this category

All news

31.10Consolidated Financial Statements for the six-month period ended September 30, 2024
31.10Notice regarding the revision of the business results forecasts
Industrial Goods and Services »
02.11Tropical Storm Lane Graphics
02.11Subtropical Storm Patty Graphics
02.11Tropical Storm Lane Forecast Discussion Number 4
02.11Subtropical Storm Patty Wind Speed Probabilities Number 2
02.11Summary for Tropical Storm Lane (EP3/EP132024)
02.11Subtropical Storm Patty Public Advisory Number 2
02.11Subtropical Storm Patty Forecast Advisory Number 2
02.11Subtropical Storm Patty Update Statement
More »