Found 10 records for the .CHK file extension name
There are 9 other file types using the CHK file extension:
.chk - File fragments saved by ScanDisk, CHKDSK or Windows Disk Defragmenter
.chk - WordPerfect for Windows temporary file
.chk - Starcraft campaign map file
.chk - SSConvert Multilanguage video subtitle data file
.chk - Sophos intercheck file
.chk - EpiData check file
.chk - 3D Movie Maker interface data file
.chk - Nvu file
.chk - TomTom Navigator voice file
file extension CHK - PolySpace check results
File extension CHK description:
File extension is used by PolySpace. Check results.
Associated applications to file extension CHK:
Company / developer:
MathWorks, Inc.
PolySpace Client for C/C++
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.