QWE2000 Vendor Technical Presentation VT11

Bruno Bouyssounouse

"Detect All Run-Time Error Without Test-Beds"

Key Points

Key points to be supplied.

Presentation Abstract

PolySpace Verifier checks C applications exhaustively and automatically, for all possible executions, without running the software.

- Exhaustive, automatic detection of run-time errors

- Reduce validation costs dramatically (no test-beds)

- No changes required to existing processes

- No constraints on coding style

About the Speaker

To be supplied.