Установите один или несколько из этих комбинаций Продукта polyspace:
Рабочий стол: Polyspace® Code Prover™, в основном, служит отдельному пользователю, запускающему анализ их машины. Этот продукт обеспечивает пользовательский интерфейс для интерактивной настройки и заканчивается анализ и также поддерживает автоматизированные запуски.
Сервер: запланированные поддержки Polyspace Code Prover Server™ работают на сервере после представления кода. Polyspace Code Prover Access™ обеспечивает репозиторий для хранения результатов и поддерживает многих рецензентов, рассматривающих одновременно на веб-браузерах.
