PolySpace Stats (Scripts) Publisher's description
from Christian Bar
This script acts on the log file generated during a PolySpace verification.
This script acts on the log file generated during a PolySpace verification. It gives some statistics about the current state of a verification:
В° options and statistics of each stage
* the complexity of a verification: number of stubs, estimation of pointers complexity, ...
В° the list of run-time errors found during the verification.
System Requirements:MATLAB 7.8 (R2009a)
Program Release Status: New Release
Program Install Support: Install and Uninstall