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


[url= http://www.mathworks.com/company/newsletters/news_notes/2008/polyspace.html ]更多...[/url]