spin-6.4.7p0
tool for formal verification of parallel software
Back to search · Project homepage
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.
Package information
- Ports path
- lang/spin
- Package architecture
- amd64
- Maintainer
- Ori Bernstein <ori@eigenstate.org>
- Categories
- lang
- Available flavors
- None listed
These are ports metadata. Binary availability depends on the release, architecture and mirror. Build and test dependencies are not an installation checklist.
Direct dependencies
None listed in sqlports.