USING POLYSPACE® TO IMPLEMENT THE “SOFTWARE QUALITY OBJECTIVES FOR SOURCE CODE QUALITY” STANDARD by Christian Bard

This document defines a general and standard approach to measure the software quality. (quality, coding rules, absence)

Polyspace Compiler Templates by Christian Bard

Polyspace Compiler template sets help at setup phase according to compiler and target (polyspace, setup, compilation)

Polyspace Batch Templates by Christian Bard

This is a set of scripts allowing to launch verification in batch modules by modules. (batch, polyspace batch, batch download)