Polyspace Code Prover

Nouvelles Fonctionnalités

R2014a (Version 9.1)

Sortie le: 6 mars 2014

La version 9.1, incluse dans la mise à jour 2014a, comporte les améliorations suivantes :

  • Systèmes de configuration et de création automatiques du projet
  • Prise en charge des dialectes GNU 4.7 et Microsoft Visual Studio C++ 2012
  • Documentation en japonais
  • Sécurité des mesures Polyspace améliorée avec HTTPS
  • Accès aux projets protégé par un mot de passe dans les mesures Polyspace

Mettez-vous à jour dès maintenant !