主题
:
Verifying Code When Software Reliability is Critical
查看单个帖子
2008-12-19, 05:51
#
1
TechnicalArticles
游客
帖子: n/a
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.
更多...
TechnicalArticles