MATLAB Polyspace

Einleitung

Die von MathWorks angebotene Polyspace-Produktfamilie umfasst Werkzeuge für die statische Codeanalyse. Mit dem Polyspace Bug Finder können Codierungsregeln, Sicherheitsrisiken und Code-Metriken geprüft werden. Die Abwesenheit von kritischen Laufzeitfehlern können mit dem Polyspace Code Prover formal nachgewiesen werden.