インストール

追加のインストールコマンド

macOS

Homebrew確認済み · 100%

brew install spin

local Homebrew formula metadata

MacPorts確認済み · 94%

sudo port install spin

MacPorts ports tree · devel/spin/Portfile · ソース: api.github.com

Linux

Debian apt確認済み · 92%

sudo apt install spin

Debian stable package indexes · spin · ソース: deb.debian.org

Nix確認済み · 92%

nix profile install nixpkgs#spin

nixpkgs package indexes · pkgs/by-name/sp/spin/package.nix · ソース: api.github.com

Arch Linux pacman確認済み · 92%

sudo pacman -S spin

Arch Linux sync databases · spin · ソース: geo.mirror.pkgbuild.com

概要

パッケージ概要

Efficient verification tool of multi-threaded software

プロジェクトリンク

コマンドとエイリアス

spin

履歴

プロジェクトの歴史と使われ方

Spin is a widely used open-source formal verification tool for multi-threaded software, best known in CLI culture for model checking Promela models from the command line.

プロジェクトの歴史

The official Spin page says the tool was developed at Bell Labs in the Unix group of the Computing Sciences Research Center starting in 1980 and has been freely available since 1991.

採用の歴史

Spin crossed from research software into standard Unix packaging: the official page notes Debian and Ubuntu availability, and the input facts also list Homebrew, MacPorts, Nix, Arch, Debian, and Ubuntu packages.

使われ方

Users write models in Promela and run Spin to check concurrency properties. The official page's small Peterson mutual-exclusion example shows `spin -run peterson.pml` as a command-line analysis workflow.

パッケージ好きにとっての重要性

For package nerds, Spin is a canonical example of research-grade tooling that belongs in ordinary package indexes: old, portable, scriptable, academically important, and still useful for checking concurrent systems.

タイムライン

1980: Development began at Bell Labs, according to the official page.
1991: Spin became freely available.
2002: Spin received the ACM System Software Award.
2016: Version 6.4.5 moved Spin sources to the BSD 3-Clause license.
2019: Official source page says the most recent source and binary distribution moved to GitHub maintenance.
2020: Current Spin version 6.5.1 was released in July.

Related projects

Promela
Cobra
Modex
Swarm verification front-end
ltl2ba

ソース

https://github.com/nimble-code/Spin
https://spinroot.com/spin/Src/index.html
https://spinroot.com/spin/whatispin.html
input source_facts.package-manager

セキュリティ状態

リスクレベル: グリーン

narrow executable package without higher-risk signals.

リスク分類器

リスクグリーン · 信頼度低 · appliance

理由

narrow executable package without higher-risk signals

信号

metadata:no-higher-risk-signals

インストール挙動

formula メタデータに Homebrew post-install フックは記録されていません。
Homebrew bottle メタデータは 13 個のプラットフォームターゲットで利用できます。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド	種類	公開範囲	メモ
`spin`	cli	グローバル実行可能ファイル

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-07-08

マネージャ版6.5.2

マネージャ更新日2026-06-14

ローカルデータOK

上流not checked

検出された最新未検出

https://github.com/nimble-code/Spin

情報No cached GitHub release or tag data was available.https://github.com/nimble-code/Spin信頼度 none

インストールメタデータ

パッケージメタデータ

パッケージキー	brew:spin
バージョン	6.5.2
パッケージマネージャ	Homebrew
パッケージマネージャページ	https://formulae.brew.sh/formula/spin
ホームページ	https://spinroot.com/spin/whatispin.html
リポジトリ	https://github.com/nimble-code/Spin
上流ドキュメント	https://spinroot.com/spin/Doc/Manual.pdf
ライセンス	BSD-3-Clause
ソースアーカイブ	https://github.com/nimble-code/Spin/archive/refs/tags/version-6.5.2.tar.gz
最終更新	2026-06-14T15:13:50+02:00
Pulse	updated
Bottle	利用可能 (対象 arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura, x86_64_linux)
Homebrew post-install	未定義
サービス	宣言なし

レジストリ情報

ソースデータベース詳細

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	spin
Version Scheme	0
Revision	0
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	no
Disabled	no
Keg Only	no
URL Keys	stable

ソースデータベース一致

他のパッケージマネージャ記録

一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。

Debian apt95%

spin 6.5.2+dfsg-2

formal software verification tool

https://spinroot.com/spin/whatispin.html

sudo apt install spin

Section: devel
Architecture: amd64
1 依存関係
normalized package name match
一致条件: Spin

Debian stable package indexes · deb.debian.org · Debian stable package indexes: spin from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

Nix95%

spin

nix profile install nixpkgs#spin

normalized package name match
一致条件: Spin

nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/sp/spin/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

Ubuntu apt95%

spin 6.5.2+dfsg-1

formal software verification tool

http://spinroot.com

sudo apt install spin

Section: universe/devel
Architecture: amd64
1 依存関係
normalized package name match
一致条件: Spin

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: spin from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

pacman95%

spin 6.5.2-5

Tool for the formal verification of distributed software systems

https://spinroot.com/

sudo pacman -S spin

License: custom:BSD3
Architecture: x86_64
1 依存関係
3 任意依存関係
normalized package name match
一致条件: Spin

Arch Linux sync databases · geo.mirror.pkgbuild.com · Arch Linux sync databases: spin from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

MacPorts95%

spin

sudo port install spin

normalized package name match
一致条件: Spin

MacPorts ports tree · api.github.com · MacPorts ports tree: devel/spin/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

Combined YAML source

View the package source record on GitHub.

combined/spin.yml

使用ソース

Geiger risk classifier
Nucleus package database
av.db category and tag curation
cross-ecosystem install command graph
curated package history
external package-manager database matches
package relationship graph
package version freshness
package-page enrichment

spin を Homebrew, apt, MacPorts, Nix, pacman でインストール