spin - On-the-fly verification system for asynchronous concurrent systems

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Quarterly amd64
Package name spin
Package version 6.4.8
Package release 1
Package architecture amd64
Package type txz
Package license BSD3CLAUSE
Installed size 1.58 MB
Download size 457.81 KB
Official Mirror pkg.freebsd.org
Spin is an efficient on-the-fly verification system
(a `model checker') for asynchronous concurrent systems,
such as data communication protocols, distributed operating
systems, database systems, etc.
It can be used to prove both safety and liveness properties,
including all correctness requirements expressible in linear
time temporal logic.
Spin uses a high level language to specify systems descriptions,
called PROMELA (PROcess MEta LAnguage).
WWW: http://spinroot.com
Categories: devel
Maintainer: ports@FreeBSD.org
- DOCS: on
- ISPIN: on
===>   NOTICE:
The spin port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:
More information about port maintainership is available at:


Package Version Architecture Repository
spin-6.4.8_1.txz 6.4.8 i386 FreeBSD Ports Quarterly
spin - - -


Name Value
gcc = 8_3
tcl86 = 8.6.9
tk86 = 8.6.9


Type URL
Binary Package spin-6.4.8_1.txz
Source Package devel/spin

Install Howto

Install spin txz package:

# pkg install spin

See Also

Package Description
spindown-0.4.txz SCSI/firewire harddrive spindown daemon
spine-1.1.35.txz Multithreaded poller for Cacti written in C
spinner-1.2.4.txz Keep ssh and telnet connections from dropping due to inactivity
spiped-1.6.0_3.txz Daemon for creating secure symmetric pipes
spiralloops-2.0.0_9.txz Loop-based sampler
spiralsynth-0.1.7_8.txz MIDI-capable synthesizer for X
spiralsynthmodular-0.2.2a_10.txz Object-oriented modular softsynth/sequencer/sampler
spirv-tools-2018.4_1.txz Tools for processing SPIR-V intermediate shader language modules
spl-1.2.1_4.txz Shakespeare programming language
splat-1.4.2.txz Used in calculating path losses, useful to ham radio and others
splatd-1.2_8.txz Splat is the Scalable Periodic LDAP Attribute Transmogrifier
splay- Audio player that decodes MPEG Layer 1/2/3 and WAV files
splaytk-2.0_2.txz Tk based interface for splay
spleen-font-1.0.3.txz Monospaced bitmap fonts for Xorg and vt(4)
splint-3.1.2.txz Tool for statically checking sourcecode for security vulnerabilities