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.