BSD Portslang/spin 6.4.7p0 OpenBSD
tool for formal verification of parallel software
- System
- OpenBSD
- Repository
- OpenBSD ports
- Maintainer
- Ori Bernstein <[email protected]>
- Categories
- lang
Description
Spin is a software verification tool for analyzing the consistency of asynchronous systems. Examples of asynchronous systems include multi-threaded programs, distributed systems, and communications protocols. Spin takes a system model specified in Promela (the PROcess MEta LAnguage). It also takes a specifciation of the requirements for logical correctness, and allows both interactive and exhaustive simulations of the system for verifying these properties.
In the other systems
| System | Port | Version |
|---|---|---|
| OpenBSD | lang/spin | 6.4.7p0 |
| FreeBSD | devel/spin | 6.5.2_1 |
| NetBSD | devel/spin | 6.5.2 |
| DragonFly | devel/spin | 6.5.2_1 |
Install
Binary package:
pkg_add spinFrom the ports tree:
cd /usr/ports/lang/spin && make installDependencies
No port depends on this one.