Code covered by the BSD License  

Highlights from
Launch Polyspace from MATLAB

5.0

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

Launch Polyspace from MATLAB

by

 

21 Jan 2014 (Updated )

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

| Watch this File

File Information
Description

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
MATLAB
Polyspace Bug Finder
MATLAB release MATLAB 8.2 (R2013b)
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  
Updates
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

Contact us