new .m file with Polyspace

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

[Eleftheria Paidousi]

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

Answer 1

[Anirban]

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.