Find all of Coverity, Inc.'s Simulation and Analysis Software white papers, product information, and. Get the latest trends, tools and technologies to help you with all of your IT buying decisions.

Simulation and Analysis Software sponsored by Coverity, Inc.


These are reports on Simulation and Analysis Software published by Coverity, Inc.. The links under MORE GENERAL and SUBCATEGORIES take you to all published reports on that topic.

Related Topics

MORE GENERAL: Applications Software


3 Matches

Sort by: Title \| Publication Date \| Document Type

	The Next Generation of Static Analysis: Boolean Satisfiability and Path Simulation WHITE PAPER: Posted: March 5, 2008 \| Published: March 3, 2008 This white paper will provide a brief overview of the history of static analysis and explain how the use of SAT in static analysis is enabling developers to improve the quality and security of their code.

	Controlling Software Complexity: The Business Case for Static Source Code Analysis WHITE PAPER: Posted: March 5, 2008 \| Published: March 3, 2008 This white paper discusses how static source code analysis can be used to find critical defects and security vulnerabilities in C/C++ and Java source code.

	Ensuring Code Quality in Multi-threaded Applications: How to Eliminate Concurrency Defects with Static Analysis WHITE PAPER: Posted: March 5, 2008 \| Published: March 3, 2008 This paper will review the most common pitfalls that software developers face when creating multi-threaded applications. Discover how static analysis techniques can be used to eliminate concurrency defects earlier in the lifecycle.


3 Matches

Page: 1

Library Home | Advertise with Us

Cramsession Research Library Copyright © 1998-2008 Bitpipe, Inc. All Rights Reserved.
Designated trademarks and brands are the property of their respective owners.
TechTarget · 117 Kendrick St · Needham, MA · 02494
Use of this web site constitutes acceptance of the Bitpipe Terms and Conditions and Privacy Policy.
cramsession@bitpipe.com

Today's Top Reports