MathWorks 软件维护服务的用户可以下载产品更新.从 R2010a 起,PolySpace 产品需要激活.访问许可中心下载产品/激活软件并管理许可证和用户信息.MATLAB 产品系列的新功能包括
2010-11-11 20:14
Polyspace® technology in Simulink Design Verifier™2011年4月8日，MathWorks发布2011a(R2011a
2011-04-14 12:38
Simulink 模型所生成源代码之检查流程的自动化。R2011b 还更新了 82 种其它产品，包括 Polyspace 嵌入式软件验证产品。 对于 MATLAB，R2011b 的重要功能有：• MATLAB
2011-09-08 15:45
、服务器关系。 新版本新功能2012a 版的新功能 Release 2012a 包括 MATLAB®、Simulink® 和 Polyspace® 产品
2012-04-13 22:39
