Documentation

Run Verification

Run verification on project

Before running verification, you must add your source files and include folders to a Polyspace® project.

After setup, you can run verification locally on your desktop or on a remote server.

Examples and How To

Run Local Verification

Start and stop Polyspace verification on your desktop, monitor verification progress.

Run Remote Verification

Start and stop Polyspace verification on a remote server, monitor verification progress.

Run File-by-File Local Verification

Verify source files independently of each other on your desktop, monitor verification progress.

Run File-by-File Remote Verification

Verify source files independently of each other on a remote server, monitor verification progress.

Manage Job Monitor

Remove verification jobs from queue, share jobs among multiple users, set passwords to control access.

Concepts

Phases of Verification

Learn about the three phases of a Polyspace verification: compilation, optional main-generation and run-time error checking.

Results Folder Contents

Learn about the various files generated from a Polyspace verification.

Troubleshooting

Set Character Encoding Preferences

Diagnose issues with viewing source files created on an operating system with a different encoding.

Was this topic helpful?