./lang/spin [tool for formal verification of parallel software]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 6.4.7, Package name: spin-6.4.7
Maintained by: Ori Bernstein
Master sites:
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.


Filesize: 503.058 KB
Version History (View Complete History)
  • (2020-01-13) Package added to openports.se, version spin-6.4.7 (created)
[show/hide] View available PLISTS (Can be a lot of data)