installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%

brew install spin

local Homebrew formula metadata

MacPortsvérifié · 94%

sudo port install spin

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

Linux

Debian aptvérifié · 92%

sudo apt install spin

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

Nixvérifié · 92%

nix profile install nixpkgs#spin

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

Arch Linux pacmanvérifié · 92%

sudo pacman -S spin

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

aperçu

Résumé du paquet

Efficient verification tool of multi-threaded software

Liens du projet

Commandes et alias

spin

historique

Historique du projet et usages

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.

Historique du projet

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.

Historique d'adoption

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.

Modes d'utilisation

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.

Pourquoi les passionnés de paquets s'y intéressent

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.

Chronologie

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

Sources

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

posture de sécurité

Niveau de risque : vert

narrow executable package without higher-risk signals.

Classificateur de risque

risque vert · confiance faible · appliance

Pourquoi

narrow executable package without higher-risk signals

Signaux

metadata:no-higher-risk-signals

Comportement d'installation

Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
Les métadonnées de bottle Homebrew sont disponibles pour 13 plateformes.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

exécutables

Exécutables installés

Commande	Type	Exposition	Note
`spin`	cli	exécutable global

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-07-08

version du gestionnaire6.5.2

gestionnaire mis à jour2026-06-14

données localesOK

amontnot checked

dernière version détectéenon détecté

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

infoNo cached GitHub release or tag data was available.https://github.com/nimble-code/Spinconfiance none

métadonnées d'installation

Métadonnées du paquet

Clé du paquet	brew:spin
Version	6.5.2
Gestionnaire de paquets	Homebrew
Page du gestionnaire de paquets	https://formulae.brew.sh/formula/spin
Page d'accueil	https://spinroot.com/spin/whatispin.html
Dépôt	https://github.com/nimble-code/Spin
Docs amont	https://spinroot.com/spin/Doc/Manual.pdf
Licence	BSD-3-Clause
Archive source	https://github.com/nimble-code/Spin/archive/refs/tags/version-6.5.2.tar.gz
Dernière mise à jour	2026-06-14T15:13:50+02:00
Pulse	updated
Bouteille	disponible (sur arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura, x86_64_linux)
post-install Homebrew	non défini
Service	aucun déclaré

faits du registre

Détails de la base source

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

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

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 Dépendances
normalized package name match
Correspondance par : 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
Correspondance par : 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 Dépendances
normalized package name match
Correspondance par : 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 Dépendances
3 dépendances optionnelles
normalized package name match
Correspondance par : 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
Correspondance par : 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

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Combined YAML source

View the package source record on GitHub.

combined/spin.yml

Sources utilisées

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

Installer spin avec Homebrew, apt, MacPorts, Nix, pacman