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 Ada je výpočetní engine pro Polyspace produkty určené pro jazyk Ada. Souží ke spouštění úkolů poskytovaných nástrojem Polyspace Client pro Ada a umožňuje i jejich zpracování na serverech.
Ceník produktů
Kontaktovat prodejce
Technická podpora
