All you need to run your factory !
Identification, Logical access control
“ Prove the absence of run-time errors in source code. ”
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.
INTERNET USERS ALSO CONSULTED ON THE CATEGORY IDENTIFICATION, LOGICAL ACCESS CONTROL
See also
