What version of Polyspace contains Code Prover Rev. 1.6?

I want to use Code Prover Rev. 1.6 and need to know the Polyspace version to download, 2011b, etc.

Answer 1

[Alexandre De Barros]

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