Polyspace Server for C/C++ 8.3

Latest Features

Version 8.3

Released: 1 Mar 2012
 

Version 8.3, part of Release 2012a, includes bug fixes.

See the Release Notes for details.

Update Now

• Download the latest version if your software maintenance service is current.
• Purchase or request a renewal quote if your maintenance service has lapsed.
• Try the latest version by downloading or requesting trial software.

---

Version 8.2

Released: 1 Sep 2011
 

Version 8.2, part of Release 2011b, includes the following enhancements:

• Identification in Polyspace metrics of verification result differences in consecutive runs

See the Release Notes for details.

Version 8.1

Released: 8 Apr 2011
 

Version 8.1, part of Release 2011a, includes the following enhancements:

• Code metrics for C++

See the Release Notes for details.

Version 8.0

Released: 3 Sep 2010
 

Version 8.0, part of Release 2010b, includes the following enhancements:

• New Web interface (Polyspace metrics) with predefined quality models including run-time error thresholds
• Automated scheduling of verification jobs and e-mail notifications

See the Release Notes for details.

Version 7.2

Released: 5 Mar 2010
 

Version 7.2, part of Release 2010a, includes the following enhancements:

• Enhanced Queue Manager interface on both Linux andWindows^® platforms

See the Release Notes for details.