Polyspace Server for Ada

Automating Verification Job Scheduling and Integrating with E-Mail Notifications

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

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