Polyspace Code Prover

Neue Eigenschaften

R2014a (Version 9.1)

Veröffentlicht: 6 Mrz 2014

Version 9.1 aus Release 2014a enthält die folgenden Erweiterungen:

  • Automatischer Projekt-Setup aus Build-Systemen
  • Unterstützung von GNU 4.7- und Microsoft Visual Studio C++ 2012-Dialekten
  • Dokumentation auf japanisch
  • Verbesserte Sicherheit beim Zugriff auf das Polyspace Web-Dashboard Polyspace-Metriken durch HTTPS
  • Passwortgeschützter Zugriff auf Projekte im Polyspace Web-Dashboard

Aktualisieren Sie Ihre Software jetzt!