Code covered by the BSD License  

Highlights from
Launch Polyspace from MATLAB

5.0 | 1 rating Rate this file 8 Downloads (last 30 days) File Size: 454 KB File ID: #44919
image thumbnail

Launch Polyspace from MATLAB


Alex Debarros


21 Jan 2014 (Updated )

A set of scripts to call Polyspace Bug Finder and Code Prover from MATLAB

| Watch this File

File Information

A set of scripts that shows how it is possible to use Polyspace Bug Finder and Polyspace Code Prover within MATLAB, thus extending the possibilities of the Polyspace products.
For example, a script is used to read an excel file and create a Data Range Specification (DRS) from it.

Required Products Polyspace Code Prover
Polyspace Bug Finder
MATLAB release MATLAB 8.2 (R2013b)
MATLAB Search Path
Tags for This File   Please login to tag files.
Please login to add a comment or rating.
Comments and Ratings (1)
22 Jul 2014 Christian Bard

Christian Bard

21 Jan 2014

Fixed missing copyrights, user's guide is in pdf now, some enhancements in the scripts.

24 Mar 2014

Fixed a problem with the script launchPolyspaceVerificationFromFiles

03 Nov 2014

Upgrading for the MATLAB Toolbox File Format

Contact us