Ověřování kódu nástroji Polyspace s možností využití dedikovaných serverů a výpočetních clusterů
Polyspace Server pro C/C++ je výpočetní engine pro Polyspace produkty určené pro jazyk C a C++. Také slouží k urychlení ověřování kódu využitím výpočetních clusterů. Úlohy jsou serveru poskytovány nástrojem Polyspace Client pro C/C++, který dále slouží ke stažení a vizualizaci výsledků ověřovacího procesu.
Ceník produktů
Kontaktovat prodejce
Technická podpora
