pkg.soopen package index

brew / 排名 5871

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

查看 spin 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

安装命令安全说明

安装

其他安装命令

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

安全态势

风险级别：绿色

narrow executable package without higher-risk signals.

风险分类器

绿色 风险 · 低 置信度 · appliance

原因

  • narrow executable package without higher-risk signals

信号

  • metadata:no-higher-risk-signals

安装行为

  • 未记录 Homebrew bottle 元数据。

建议审查

在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。

可执行文件

已安装的可执行文件

命令类型暴露范围备注
spin可执行文件已索引可执行文件从本地可执行文件索引发现。

新鲜度

版本和新鲜度

这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。

页面生成时间2026-08-03
管理器版本6.5.2
管理器更新时间2026-06-14
本地数据未知
上游不可用
检测到的最新版本未检测到
  • OK没有生成新鲜度警告。

安装元数据

软件包元数据

软件包键brew:spin
版本6.5.2
软件包管理器Homebrew
主页https://spinroot.com/spin/whatispin.html
仓库https://github.com/nimble-code/Spin
最后更新2026-06-14T15:13:50+02:00
Pulseupdated
Bottle未记录
服务未声明

源数据库匹配

其他软件包管理器记录

匹配项来自外部软件包管理器索引，并与本地 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 工件提供。

使用的来源

  • Geiger risk classifier
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • pkg.so package database
  • pkgdb category and tag curation