Rank: 3592 based on 8 downloads (last 30 days) and 4 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
  • 1 - 4 of
  • 4
Updated   File Tags Downloads
(last 30 days) 		Comments Rating
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 6 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... 0 0
02 Apr 2009 PolySpace Stats Give a synthesis of a PolySpace verification based on the log file Author: Christian Bard polyspace, synthesis, verification, log, statistics 1 0
14 Jul 2008 ViewerTools Utility designed to help adding a "Tools" menu in The PolySpace® Viewer Author: Christian Bard polyspace, viewer tools, utility, preprocessed, report, c 1 0
Comments and Ratings on Christian's Files
  • 1 - 1 of
  • 1
Updated File Comment by Comments Rating
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".
Top Tags Applied by Christian
  • 1 - 5 of
  • 37
polyspace, templates, utility, archive, archresults
Files Tagged by Christian View all
  • 1 - 4 of
  • 4
Updated   File Tags Downloads
(last 30 days) 		Comments Rating
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 6 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... 0 0
02 Apr 2009 PolySpace Stats Give a synthesis of a PolySpace verification based on the log file Author: Christian Bard polyspace, synthesis, verification, log, statistics 1 0
14 Jul 2008 ViewerTools Utility designed to help adding a "Tools" menu in The PolySpace® Viewer Author: Christian Bard polyspace, viewer tools, utility, preprocessed, report, c 1 0

Contact us at files@mathworks.com