Structured Analysis Techniques Reports
The Next Generation of Static Analysis: Boolean Satisfiability and Path Simulation
sponsored by Coverity by Synopsys
WHITE PAPER: 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.
Posted: 05 Mar 2008 | Published: 03 Mar 2008
View This Now

TOPICS:  Code Management | Simulation and Analysis Software | Software Development Tools | Software Quality Assurance | Software Testing | Structured Analysis Techniques | Vulnerability Management
Coverity by Synopsys