Main Page > Polyspace > Polyspace Products for Ada

Polyspace Client™ for Ada and Polyspace Server™ for Ada provide 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. They use static code analysis that does not require program execution, code instrumentation, or test cases. Polyspace products for Ada use a formal methods technique called abstract interpretation to verify code. In the run-time verification results, each Ada operation is color-coded to indicate whether it is free of run-time errors, proven to fail, unreachable, or unproven, as follows:

  • Green: proven free of run-time errors
  • Red: proven faulty each time the operation is executed
  • Gray: proven unreachable (may indicate a functional issue)
  • Orange: unproven for all run-time conditions

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 email notifications. You can view defects and regressions via a Web browser.

Polyspace for Ada helps you:

  • Detect difficult to find run-time errors and formally prove their absence in Ada source code
  • Track software quality metrics and ensure that your software quality objectives are met
  • View range information to determine ranges of variables and function parameters and return values
  • Focus on differences in run-time errors compared with previous verification results
  • Create artifacts for certification to standards such as DO-178

Read, Learn, Explore!

Sign up for best practices, webinar and training dates and for being always up-to-date with MATLAB ® & Simulink ® and COMSOL Multiphysics ®!

If you have any questions about private trainings, please feel free to contact us. Our customer service representatives will be happy to help you!

Get in Touch!

Just fill in your contact details and any specific comments or questions you may have, and click on the “Send” button below. Your request is immediately sent to a sales representative in your geographical area.