Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%

brew install spin

local Homebrew formula metadata

MacPortsverifiziert · 94%

sudo port install spin

MacPorts ports tree · devel/spin/Portfile · Quelle: api.github.com

Linux

Debian aptverifiziert · 92%

sudo apt install spin

Debian stable package indexes · spin · Quelle: deb.debian.org

Nixverifiziert · 92%

nix profile install nixpkgs#spin

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

Arch Linux pacmanverifiziert · 92%

sudo pacman -S spin

Arch Linux sync databases · spin · Quelle: geo.mirror.pkgbuild.com

Überblick

Paketzusammenfassung

Efficient verification tool of multi-threaded software

Projektlinks

Befehle und Aliase

spin

Verlauf

Projektgeschichte und Nutzung

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.

Projektgeschichte

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.

Adoptionsgeschichte

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.

Wie es verwendet wird

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.

Warum Paket-Nerds sich dafür interessieren

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.

Zeitleiste

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

Quellen

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

Sicherheitslage

Risikostufe: grün

narrow executable package without higher-risk signals.

Risikoklassifikator

grün Risiko · niedrig Konfidenz · appliance

Warum

narrow executable package without higher-risk signals

Signale

metadata:no-higher-risk-signals

Installationsverhalten

In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
Homebrew-Bottle-Metadaten sind für 13 Plattformziele verfügbar.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

Befehl	Art	Sichtbarkeit	Hinweis
`spin`	cli	globales Executable

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-07-08

Manager-Version6.5.2

Manager aktualisiert2026-06-14

lokale DatenOK

Upstreamnot checked

neueste erkannte Versionnicht erkannt

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

InfoNo cached GitHub release or tag data was available.https://github.com/nimble-code/Spinnone Konfidenz

Installationsmetadaten

Paketmetadaten

Paketschlüssel	brew:spin
Version	6.5.2
Paketmanager	Homebrew
Paketmanager-Seite	https://formulae.brew.sh/formula/spin
Homepage	https://spinroot.com/spin/whatispin.html
Repository	https://github.com/nimble-code/Spin
Upstream-Dokumentation	https://spinroot.com/spin/Doc/Manual.pdf
Lizenz	BSD-3-Clause
Quellarchiv	https://github.com/nimble-code/Spin/archive/refs/tags/version-6.5.2.tar.gz
Zuletzt aktualisiert	2026-06-14T15:13:50+02:00
Pulse	updated
Bottle	verfügbar (auf 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	nicht definiert
Dienst	keiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

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

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

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 Abhängigkeiten
normalized package name match
Abgeglichen nach: 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
Abgeglichen nach: 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 Abhängigkeiten
normalized package name match
Abgeglichen nach: 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 Abhängigkeiten
3 optionale Abhängigkeiten
normalized package name match
Abgeglichen nach: 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
Abgeglichen nach: 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

Paketgraph

Links stammen aus dem lokalen Paketbeziehungsgraph, Ergänzungen, Abhängigkeitskanten, Ecosystem-Matches und Paket-Hub-Mitgliedschaft.

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Combined YAML source

View the package source record on GitHub.

combined/spin.yml

Verwendete Quellen

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 mit Homebrew, apt, MacPorts, Nix, pacman installieren