Skip to Main Content Skip to Search
Home |   United Kingdom  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
Download trial
E-mail this page

Get Pricing and
Licensing Options

Upcoming Webinar

Assess C/C++ Code Quality and Reuse Software with PolySpace Products new
Register today

ELESYS

"PolySpace enabled us to dramatically reduce our workload per analysis — from several man-months to a matter of days."
Read this story