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

17.06New Federal Government Filing Requirement Regarding Ownership of LLCs and Corporations
17.06Manufacturers Reps That Sell to International Customers June 26 Networking Event
17.06Avoid $591 Daily Penalty From the U.S. Treasury Department
15.06With Gratitude for a Job Well Done
Industrial Goods and Services »
18.06Soup sales up as rainy spring affects spending
18.06Potential Tropical Cyclone One Graphics
18.06Atlantic Tropical Weather Outlook
18.06Potential Tropical Cyclone One Public Advisory Number 2A
18.06Summary for Potential Tropical Cyclone One (AT1/AL012024)
18.06Eastern North Pacific Tropical Weather Outlook
18.06Apple scraps its Pay Later loan scheme in US
18.06Potential Tropical Cyclone One Public Advisory Number 2
More »