MATLAB Polyspace: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Keine Bearbeitungszusammenfassung |
|||
| Zeile 3: | Zeile 3: | ||
== Installation == | == Installation == | ||
== Literaturverzeichnis == | == Literaturverzeichnis == | ||
Version vom 4. Januar 2020, 17:51 Uhr
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.