PolySpace™ Server™ for Ada 5.1.1

Product Description

• Introduction and Key Features
• Working with PolySpace Server for Ada
• Verifying Program Dynamics
• Typical Run-Time Errors Detected

Working with PolySpace Server for Ada

You can use PolySpace Server for Ada with PolySpace Client for Ada to support three key stages in the software development workflow. You can:

• Verify and monitor code correctness at all stages of the software development process
• Find and correct run-time errors during coding
• Verify overall application integrity and quality levels

Together, PolySpace Server for Ada and PolySpace Client for Ada can be flexibly deployed within your group. For example, you can use one client with multiple servers to accelerate code verification, or use one server with multiple clients to enable several individuals or teams to view server results at the same time.