Polyspace Server for Ada
Perform code verification on computer clusters and publish metrics
Code verification workflow with Polyspace Client for Ada and Polyspace Server for Ada. The queue manager receives the Polyspace verification request and selects the first available server to run the job.
Polyspace Server™ for Ada provides code verification that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in source code. For faster performance, Polyspace Server for Ada lets you schedule verification tasks to run on a computer cluster. Jobs are submitted to the server using Polyspace Client™ for Ada. You can integrate jobs into automated build processes and set up e-mail notifications. You can view defects and regressions via a Web browser. You then use the client to download and visualize verification results.
