Detekce run-time chyb a prověření korektnosti kódu před jeho kompilací
Polyspace Client pro Ada společně s Polyspace Server pro Ada poskytují nástroje pro ověření správnosti zdrojového kódu, které prověřují jeho spolehlivost a detekují run-time chyby bez nutnosti spouštění či modifikace kódu.
Ceník produktů
Kontaktovat prodejce
Technická podpora
