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

18.06A Request From the A League of Their Own Womens Special Interest Group
18.06Next MANAchat Series is Scheduled for the Week of August 5
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 »
26.06Rockline Industries Wins WOW Innovation Award
26.06IMS Technologies Expands Calcinate Production Site
26.06Horizon expert 'gave evidence based on informal chats'
26.06Automotive Color by BASF Recognized with Renowned Red Dot Award
26.06Beckers Commits to Widespread Science Based Targets
26.06PPG to Announce Second-quarter 2024 Results July 18
26.06Fresh Coat for First Responders: New Hampshire Fire Station Gets a Makeover by California Paints
26.06Michigan Sets Record Recycling Rate in 2023, Recycles Nearly 70,000 Tons of Materials
More »