安装

其他安装命令

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/Spinnone 置信度

安装元数据

软件包元数据

软件包键	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

软件包图谱

链接来自本地软件包关系图、补充数据、依赖边、生态匹配和软件包 hub 归属。

来源线索

由仓库数据生成

此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

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

使用 Homebrew, apt, MacPorts, Nix, pacman 安装 spin