Установка:
Для установки spin в Ubuntu / Linux Mint / Debian, введите в Терминал:
sudo apt update
sudo apt install spin
Подробная информация о пакете:
Формальный инструмент проверки программного обеспечения
-
Зависимости:
-
Библиотека GNU C: общие библиотеки