MATLAB爱好者论坛-LabFans.com - 查看单个帖子 - Verifying Code When Software Reliability is Critical

labfans · 2019-10-31, 18:04

PolySpace products use sophisticated math and analysis to prove the absence of run-time errors without the need to compile and run the code.

2008-12-17 07:00 AM

更多...

2019-10-31, 18:04	#1
labfans 论坛管理员注册日期: 2007-04-03 帖子: 784 声望力: 5	Verifying Code When Software Reliability is Critical PolySpace products use sophisticated math and analysis to prove the absence of run-time errors without the need to compile and run the code. 2008-12-17 07:00 AM 更多...