Where should we email your report?
Polyspace Code Prover review
General Manager at a manufacturing company with 10,001+ employees
Has struggled with performance and integration but supports critical safety...
Execution speed of the tests and generally the integration into AWS-driven CI work chains or workflows represent how it can be improved in my opinion. Performance issues plus license costs are two main driving factors. The CI environments that we use employ up to around 40,000 virtual CPUs per day in peak, running at the same time. We...
Polyspace Code Prover review
Sw expert at a manufacturing company with 5,001-10,000 employees
Enhanced our code verification process but it crashes on large applications
There are two main areas of improvement. * False negatives and false positives. * The speed of the validation itself. Another area I see for improvement is scalability, particularly when dealing with large software systems. While Polyspace is effective for individual components and smaller applications, its performance can be impacted when...
Since 2012, we've had 872,846 professionals use our research.
As seen in