登陆
注册
工具列表
Tool list
Polyspace
2020-06-01
196
-
Miracor Eliminates Run-Time Errors and Reduces Testing Time for Class III Medical Device Software
From a developer’s perspective, the main advantage of Polyspace Code Prover is a higher level of qua...
-
Alenia Aermacchi 开发符合 DO-178B A 级认证的自动驾驶仪软件
对于我们来说，基于模型的设计的一个关键优势，是可以专注于设计和开发，而不是将精力放在低级编码、验证和认证任务上。其结果是获得了更高的质量、DO-178B 认证的软件和更快的迭代。
-
Nissan Increases Software Reliability
Polyspace products can ensure a level of software reliability that is unmatched by any tools in the ...
