Skip to Main Content Skip to Search
Home |   Australia  Choose Country  |  Contact Us  |  Cart Store 
Create Account | Log In
Products & Services Industries Academia Support User Community Company

 

PolySpace Server for C/C++ 6.0

Perform PolySpace verifications on dedicated servers, computer clusters, or server farms


Code verification workflow with PolySpace Client for C/C++ and PolySpace Server for C/C++. The queue manager receives the PolySpace verification request and selects the first available server to run the job.

PolySpace Server™ for C/C++, in conjunction with PolySpace Client™ for C/C++, provides code-based verification that proves the absence of errors in source code. It ensures code reliability by detecting run-time and other software errors without requiring program execution, code instrumentation, or test cases. You can verify handwritten code, automatically generated code, or a combination of the two, before compilation and test.
Adobe Acrobat Required  View data sheet (318k)



News and Events
Contact sales
Free technical kit
Trial software
E-mail this page

Get Pricing and
Licensing Options

Upcoming Webinar

Best Practices for Verification, Validation, and Test in Model-Based Design new
Register today

GlucoLight

"MathWorks tools and Model-Based Design enabled us to cut development time in half, eliminate errors associated with hand-coding, and proceed to clinical trials more quickly and with a higher level of confidence."
- Matthew Schurman/GlucoLight Corporation
Read this story