new .m file with Polyspace

I want to use polyspace for writing a new .m file. How can i do it?

1 Comment

I have the polyspace 2020 b . Are you sure that there is not a way ?

Sign in to comment.

Answers (1)

Anirban
Anirban on 9 Oct 2020
You cannot use Polyspace alone to write .m files. You need a MATLAB installation.
Once you install both MATLAB and Polyspace, you can integrate the two using the instructions in Integrate Polyspace with MATLAB and Simulink, and starting writing MATLAB scripts to run Polyspace.

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!