Polyspace Code Prover (the-mathworks.polyspace-code-prover.polyspace-code-prover) is a Windows software application that has been discovered and submitted by users of Software.com. The latest version that our users have reported running on their systems is Polyspace Code Prover 126.96.36.1991.
Operating System: Windows
Description: Polyspace Code Prover (R2014a)
File name: polyspace-code-prover.exe
File Version: 188.8.131.521
Product Version: 184.108.40.2061
Internal Name: polyspace
Copyright: Copyright 2014