Launch polyspace from matlab

The following Matlab project contains the source code and Matlab examples used for launch polyspace from matlab. 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.

The source code and files included in this project are listed in the project files section, please make sure whether the listed source code meet your needs there.

Project Files: 

File NameSize
analyze.m 543
analyze_or_verify.m 2222
User's guide.pdf 470982
drs.xlsx 10158
inc.h 124
file1.c 544
file2.c 173
explore.m 901
generated_drs.txt 80
include_folders_list.txt 16
launchPolyspace.m 2352
launchPolyspaceAnalysisFromFiles.m 750
launchPolyspaceFromFiles.m 3446
launchPolyspaceVerificationFromFiles.m 805
options_list.txt 2579
read_options_file.m 1751
test.c 361
source_files_list.txt 48
verify.m 547
license.txt 1313

SocialTags: 

Technology: