mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-13 07:34:50 +00:00
1ddeb0cec9
Maintainer change from ports@ to Anton Törnqvist (antont@inbox.lv) PR: 194704 Submitted by: antont@inbox.lv (new maintainer)
11 lines
474 B
Plaintext
11 lines
474 B
Plaintext
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
|