Skip to Main Content Skip to Search
Accelerating the pace of engineering and science

 

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.


Adobe Acrobat Required  View data sheet (489k)



Contact sales
Free technical kit
Trial software

Get Pricing and
Licensing Options

Recorded Webinar

DO-178B Certification: Automate and Streamline Using Code Verification

Nissan Motor Company

"Polyspace products for C/C++ can ensure a level of software reliability that is unmatched by any tools in the industry."