Coverity^® Wins Prestigious Embedded World Award

Company Recognized For Accelerating Delivery of High Integrity Embedded Software

SAN FRANCISCO – March 19, 2009 – Coverity Inc., the software integrity company, today announced the company has won the prestigious Embedded World 2009 award for software development. Coverity® received the award for its patent-pending breakthrough in the application of Boolean Satisfiability (SAT) in Coverity Prevent^TM, the company’s industry leading static analysis technology. The innovative use of SAT allows Coverity Prevent to automatically pinpoint critical software defects with false positive rates at or below 10%. As a result, development teams spend more time adding value generating features to their applications and less time tediously hunting for the root-cause of quality and security problems. By improving the productivity of development teams this way, companies are bringing highly secure and reliable embedded applications to market at a lower total cost of production.

"We are very proud to win such a prestigious and respected award from the distinguished Embedded World organizing committee and judging panel," said Ben Chelf, co-founder and CTO of Coverity. "On behalf of the employees and the growing base of over 500 Coverity customers around the globe, we thank the leaders of Embedded World for recognizing our contribution to improving the quality and security of embedded software."

In the field of computer-aided engineering and design, EDA (Electronic Design Automation) tools have been used with tremendous success to eliminate costly design failures in hardware devices. For decades companies such as Cadence, Mentor Graphics and Synopsys have relied on SAT to analyze the operations of circuits prior to fabrication to verify their correctness and performance.

Coverity is the first to incorporate this technology to improve software performance and quality. Because of SAT’s successful history in aiding products for hardware design, the introduction of SAT to software analysis is unlike previous advancements in the field of static analysis in that it leverages decades of existing research. Coverity’s incorporation of this technology created the foundation for the next generation of static analysis, where for the first time, code is analyzed utilizing two complementary techniques (SAT and Path Simulation) to deliver unmatched accuracy of results.

About Coverity
Coverity (www.coverity.com), the software integrity company, is the trusted standard for companies that have a zero tolerance policy for software failures, problems, and security breaches. Coverity’s award winning portfolio of software integrity products helps customers prevent software problems throughout the application lifecycle. Over 100,000 developers and 500 companies including ARM, Phillips, RIM, Rockwell Collins, Samsung and UBS rely on Coverity to help them ensure the delivery of superior software. Coverity is a privately held company headquartered in San Francisco with offices in 6 countries and more than 130 employees.

Coverity and Coverity Prevent are trademarks of Coverity, Inc. All other company and product names are the property of their respective owners.

Media Contacts: