Polyspace Code Prover

새로운 기능

R2014a (버전 9.1)

출시 일자: 2014년 3월 6일

2014a의 일부인 Version 9.1에는 다음과 같은 향상된 기능이 포함되어 있습니다.

  • 빌드 시스템에서 프로젝트 자동 설정
  • GNU 4.7 및 Microsoft Visual Studio C++ 2012 다이얼렉트 지원
  • 일본어 설명서
  • HTTPS를 통한 Polyspace 메트릭 보안 향상
  • 암호로 보호되는 Polyspace 메트릭 프로젝트 액세스

지금 업데이트하십시오!