PolySpace公司 swMATH ID: 31196 软件作者： Mathworks公司。 描述： PolySpace设计验证器。Polyspace®静态代码分析产品使用形式化方法证明在所有可能的控制流和数据流下不存在关键运行时错误。它们包括检查编码规则、安全漏洞、代码度量和数百种其他类型的错误的检查器。 主页： https://www.mathworks.com/products/polyspace.html 相关软件： 库恩；邦明；质量控制质量计划；ASTREE公司；SpaceEx公司；PPL（公私合营）；LBFGS-B型；伊波特；CVX公司；彭农牌手表；塞杜米；BARON公司；古罗比 引用于： 1文件 由4位作者引用 1 斯蒂芬·贝克尔。 1 本·萨西，穆罕默德·阿明 1 杰西卡·格伦斯基。 1 桑卡拉纳拉亚南，斯里拉姆 连载1篇 1 系统设计中的形式化方法 在2个字段中引用 1 数值分析（65-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文