Home > MathWorks, Inc.
File extension list filtered by software name

PolySpace Client for C/C++

Found 5 file extension associations related to PolySpace Client for C/C++ and 5 file formats developed specifically for use with PolySpace Client for C/C++.

Platform, operating system:  Microsoft Windows icon Microsoft Windows

Go to: PolySpace Client for C/C++ description

Developer: MathWorks, Inc.

MathWorks software list & details

Bookmark & share this page with others:

PolySpace Client for C/C++ picture

MathWorks, Inc. logoPolySpace Client for C/C++

Developer / company: MathWorks

PolySpace Client for C/C++, in conjunction with PolySpace Server for C/C++, provides code-based verification that proves the absence of overflow, divide by zero, out-of-bounds array access, and other run-time errors in source code without requiring program execution, code instrumentation, or test cases. PolySpace Client for C/C++ uses abstract interpretation techniques to verify code. You can use it to verify handwritten code, generated code, or a combination of the two, before compilation and test.

PolySpace Client for C/C++ picturePolySpace Client for C/C++ works with the following file extensions:

Note: You can click on any file extension link from the list below, to view its detailed information. The list of extensions used or otherwise associated with the application may not be complete, because many common file extensions on our website, such as jpg (pictures) or txt (text files), can be opened by a large number of applications, or are too general file format. However most, if not all directly associated file extensions should be listed with its appropriate program. Although its likely, that some file extensions may be missing from the list of associated file extensions with the application, yet they can be opened, be part of, or otherwise be associated with the program.

PolySpace Client for C/C++ default file extension associations

chk file icon.chkci file icon.cipsbf file icon.psbfpscp file icon.pscppsprj file icon.psprj

Comparison table of actions that PolySpace Client for C/C++ can perform with each of its associated file type beta

This table might not contain all possible associated or supported file types or may contain incorrect data.
If you need more information please contact the developers of PolySpace Client for C/C++ (MathWorks, Inc.), or check out their product website.

File type \ Action

Open

Save

Edit

View

Play

Convert

Create

Record

Import

Export

Burn

Extract

Recover

Backup

Print

Settings

Other

chk

Yes-----Yes---------Yes

ci

----------------Yes

psbf

------Yes---------Yes

pscp

----------------Yes

psprj

YesYesYes---Yes----------

Follow us!

Enter any file extension without dot (e.g. pdf)
Search for file extension details and associated application(s)

RSS feed