Отобразите документацию Polyspace в справке brwoser
-doc
-documentation
-doc и -documentation открывает документацию Polyspace® в браузере документации. Вы видите информацию, такую как начало работы, рабочие процессы и страницы с описанием для аналитических опций и команд. Можно также перерыть документацию в браузере документации.
Отобразите документацию Polyspace в браузере документации:
Средство поиска ошибки:
polyspace-bug-finder -doc polyspace-bug-finder -documentation
Программа автоматического доказательства кода:
polyspace-code-prover -doc polyspace-code-prover -documentation
Сервер средства поиска ошибки:
polyspace-bug-finder-server -doc polyspace-bug-finder-server -documentation
Сервер программы автоматического доказательства кода:
polyspace-code-prover-server -doc polyspace-code-prover-server -documentation
