“Prover-标签”的相关资讯
共1条
-
MathWorks 引入两款 Polyspace 代码验证新产品
MathWorks近日宣布引入两款新的代码验证工具以扩充其Polyspace产品系列：PolyspaceCodeProver和PolyspaceBugFinder。此外，公司还于同时宣布推出2013b版。新增的这两款产品提供了端到端软件验证功能
2013-09-10 14:52