Product Documentation

Search MATLAB Documentation
R2012a Documentation → Polyspace
View documentation for other releases	Learn more about Polyspace

Contents

Index

• Polyspace Installation Guide

• Hardware and Software Requirements

Polyspace Product Requirements

Polyspace Plug-In Requirements

Polyspace Software License Requirements

UNIX and Linux Installation Requirements

Polyspace Documentation Requirements

Polyspace Installation Options

Polyspace Software Installation Folders

• Polyspace Products You Can Install

Overview of Polyspace Products

Polyspace Client Software

Polyspace Server Software

• Installing the Polyspace Software

Before Starting the Installation

Installing the Software

Configuring the Polyspace Server Software

Activating Polyspace Software

Polyspace Software Icons

• Launching Installation from Command Line

Installing Software on a Linux or UNIX Platform

Installing Software in Silent Mode

• Configuring Polyspace Software

Configuring Polyspace Client Software

Configuring Polyspace Server Software

Configuring Polyspace Metrics Web Interface

Troubleshooting Common Errors

• Configuring Polyspace Server to Support Multiple Versions of Client Software

Windows Server Configuration

Linux/Solaris Server Configuration

Installing Polyspace Model Link Products

Upgrading MATLAB Software

• Troubleshooting Polyspace Model Link SL Installation

MATLAB Software Is Not Installed Locally

No Write Access to MATLAB Product Root

Installing Polyspace UML Link RH Product

Installing the Polyspace C++ Add-In for Visual Studio

Installing the Polyspace Plug-In for Eclipse IDE

• Uninstalling on Windows Platforms

Should I Uninstall Previous Releases Before Installing?

Uninstalling the Polyspace Software

Uninstalling Shared Components

• Uninstalling on Linux or UNIX Platforms

Should I Uninstall Previous Releases Before Installing?

Uninstalling the Polyspace Software

Uninstalling Shared Components

• Polyspace License Overview

Polyspace Licensing Options

Obtaining a License File

• Common Licensing Questions

Do I need a FLEXnet Server to Use an Individual License?

How Do I Identify Designated Computer and Concurrent Licenses?

What If I Have Other MathWorks Products Installed?

What If I Have an Old Polyspace FLEXnet License Server?

• Configuring Designated Computer Licenses

Installing License Files

DC License File Format

• Configuring Concurrent Licenses

Introduction to FLEXnet Licensing

Installing FLEXnet Manager

Configuring a Concurrent License

Installing Licenses on an Existing FLEXnet Server

Checking Installed Licenses

• License Error Messages

Error -15, the FLEXnet server is unreachable

Error -5, the Polyspace feature is not available

Error -21, license file does not support this version

Error -10, the license date has expired

• Polyspace Products for C/C++

• Polyspace Products for Ada

• Ada Getting Started Guide

• Polyspace Products for Ada User's Guide

• Polyspace Products for Ada Reference

• Option Descriptions

• General Options

• Target and Compiler Options

• Compliance with Standards Options

• Polyspace Inner Settings Options

• Precision/Scaling Options

• Multitasking Options

• Batch Options

• Check Descriptions

• Colored Source Code for Ada

• Approximations Used During Verification

• Why Polyspace Verification Uses Approximations

• Polyspace Model Link Products User's Guide

• Polyspace UML Link RH User's Guide

• Release Notes

Polyspace Products for Ada Reference

Option Descriptions	Provides parameter descriptions for all verification options
Check Descriptions	Describes all checks reported in Polyspace results
Approximations Used During Verification	Describes the approximations made by Polyspace verification

Option Descriptions

Option Descriptions

© 1984-2012- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS