查看单个帖子
旧 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.

更多...
  回复时引用此帖