What version of Polyspace contains Code Prover Rev. 1.6?

1 次查看（过去 30 天）
Louis Baumgartner
编辑： Alexandre De Barros 2016-8-9
I want to use Code Prover Rev. 1.6 and need to know the Polyspace version to download, 2011b, etc.

请先登录，再回答此问题。

采纳的回答

Alexandre De Barros
编辑：Alexandre De Barros 2016-8-9
Hello,
I guess that by "revision" you mean the revision number that can be found in the project file (.psprj or .cfg). Here is a list of the Polyspace project versions and their revision number:
R2012b : 1.3
R2013a : 1.3
R2013b : 1.4
R2014a : 1.5
R2014b : 1.5
R2015a : 1.5
R2015b : 1.5
R2016a : 1.6
As you can seen, 1.6 corresponds to R2016a.
Best regards,
Alexandre

更多回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Generate Report 的更多信息

标签

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by