• PRODUCTS (42)
  • CATALOGUES

  • WHITE PAPERS

  • PRESS RELEASES

  • Suggested offers
  • 0 results. Did you mean ?
  • Suggested categories
  • 0 results. Did you mean ?
  • Suggested companies
  • 0 results. Did you mean ?
  • Suggested offers
  • 0 results. Did you mean ?
  • Suggested categories
  • 0 results. Did you mean ?
  • Suggested companies
  • 0 results. Did you mean ?
Become a supplier
Help
My account

PolySpace Client for C/C++ 7.0.1

Identification, Logical access control

“ Prove the absence of run-time errors in source code. ”
Ask for a quote Receive Documentation Contact the supplier

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.

OTHER PRODUCTS IDENTIFICATION, LOGICAL ACCESS CONTROL FROM THE MATHWORKS

INTERNET USERS ALSO CONSULTED ON THE CATEGORY IDENTIFICATION, LOGICAL ACCESS CONTROL

Check out all the products from category identification, logical access control

See also

Intrusion detection Firewall BackUp Remote access, Mobility, Nomadism Backup device Backup software Backup server

Buyers

Find your suppliers Complete your request and let our teams find you the best deals available.

Suppliers

Find your future clients List your products and services to enhance your web presence and receive qualified enquiries.