Rank: 1522 based on 71 downloads (last 30 days) and 6 files submitted
photo

Christian Bard

E-mail
Company/University
The MathWorks

Personal Profile:
Professional Interests:
Polyspace products

 

Watch this Author's files

 

Files Posted by Christian View all
Updated   File Tags Downloads
(last 30 days)
Comments Rating
09 Nov 2012 Screenshot USING POLYSPACE® TO IMPLEMENT THE “SOFTWARE QUALITY OBJECTIVES FOR SOURCE CODE QUALITY” STANDARD This document defines a general and standard approach to measure the software quality. Author: Christian Bard quality, runtime error, absence, formal method, misra, formal proof 21 1
  • 5.0
5.0 | 1 rating
27 Apr 2012 Screenshot Polyspace Compiler Templates Polyspace Compiler template sets help at setup phase according to compiler and target Author: Christian Bard embedded code, setup, compilation, polyspace, polyspace templates, polyspace compiler te... 11 1
  • 4.0
4.0 | 1 rating
27 Mar 2012 Screenshot PolyspaceForGPS A very simple Polyspace Extension for AdaCore GPS Author: Christian Bard polyspace plugin gps ... 9 0
03 Jan 2012 Screenshot Polyspace Batch Templates This is a set of scripts allowing to launch verification in batch modules by modules. Author: Christian Bard polyspace, polyspace batch, scripts, templates, launch, batch download 14 1
  • 4.0
4.0 | 1 rating
08 Sep 2009 Post Preprocessing Templates post preprocessing scripts Author: Christian Bard polyspace, ppc, templates, pre processing, perl, postpreprocessingcomm... 7 0
Comments and Ratings by Christian
Updated File Comments Rating
22 Jul 2014 Launch Polyspace from MATLAB A set of scripts to call Polyspace Bug Finder and Code Prover from MATLAB Author: Alex Debarros

Comments and Ratings on Christian's Files View all
Updated File Comment by Comments Rating
16 Jul 2012 Polyspace Compiler Templates Polyspace Compiler template sets help at setup phase according to compiler and target Author: Christian Bard Groenewold, Rainer

Usefull, when using Windows instaed of Linux-Server

06 Jul 2010 USING POLYSPACE® TO IMPLEMENT THE “SOFTWARE QUALITY OBJECTIVES FOR SOURCE CODE QUALITY” STANDARD This document defines a general and standard approach to measure the software quality. Author: Christian Bard Schlosser, Joachim

Marvellous way to have a sound process for software quality improvement!

25 Jan 2008 Polyspace Batch Templates This is a set of scripts allowing to launch verification in batch modules by modules. Author: Christian Bard Kalincsak, Ferenc

There is a mistake in RemoteClassbyclassLaunch.sh file.
"$PRODUCT/bin/polyspace-remote-desktop-cpp" should be written instead of "$PRODUCT/bin/polyspace-desktop-cpp".

Contact us