image thumbnail

updated 1 year ago

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, runtime error, absence)

image thumbnail

updated almost 2 years ago

Polyspace Compiler Templates by Christian Bard

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

image thumbnail

updated 2 years ago

PolyspaceForGPS by Christian Bard

A very simple Polyspace Extension for AdaCore GPS (polyspace plugin gps ...)

image thumbnail

updated 2 years ago

Polyspace Batch Templates by Christian Bard

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

image thumbnail

updated 4 years ago

Post Preprocessing Templates by Christian Bard

post preprocessing scripts (polyspace, ppc, templates)

image thumbnail

updated almost 6 years ago

ViewerTools by Christian Bard

Utility designed to help adding a "Tools" menu in The PolySpace® Viewer (polyspace, viewer tools, utility)

Contact us