image thumbnail

updated 3 days ago

ProgCertSOS by Victor Magron

Certified program analysis using Sum-of-Squares (SOS) programming (static analysis, abstract interpretati..., template abstract dom...)

plotcontour(Xit, Yit, nit, y1, y2, P, number, dirname);

templatedesignbound (x, gC, gT, T, degP, r, sdpsolver)

templatedesignout (x, gC, gT, T, degP, r, kappa, sdpsolver)

image thumbnail

updated almost 2 years 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 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 almost 3 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 almost 4 years ago

Color Model from PolySpace Verification by David Jaffry

The tool colors Simulink Model using PolySpace code verification. (simulink, polyspace, link)

Color_Model_From_Verification(callbackInfo)

sl_customization(cm)

Example

Contact us