Polyspace Client for Ada

Integrate Code Verification as Part of a Continuous Verification Process

You can automate verification job scheduling and integrate it with e-mail notifications (Polyspace Server for Ada required).

You can assign a Polyspace client to schedule the posting of a job to the server, and get notified by e-mail when the results are available. Results will contain only the differences compared with the previous version of your code. The server computes these differences automatically.

You can define the frequency of these analyses and the e-mails you want your users to receive when the results are available. Also, you can define which characteristics of the build process you want the automated verifications to encompass.