File Exchange

image thumbnail


version (929 KB) by Alexandre De Barros
A tool made to import AOT campaign results into a Polyspace verification


Updated 01 Sep 2016

View License

Use ImportAOTResults to import the results of an AOT campaign into your Polyspace results.
The review information of checks reached by the AOT will be updated with AOT coverage information.

Cite As

Alexandre De Barros (2020). ImportAOTResults (, MATLAB Central File Exchange. Retrieved .

Comments and Ratings (0)


Updated license

MATLAB Release Compatibility
Created with R2010b
Compatible with any release
Platform Compatibility
Windows macOS Linux
Tags Add Tags