diff options
Diffstat (limited to 'math/spin/pkg-descr')
| -rw-r--r-- | math/spin/pkg-descr | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/math/spin/pkg-descr b/math/spin/pkg-descr new file mode 100644 index 000000000000..5cd5f839e550 --- /dev/null +++ b/math/spin/pkg-descr @@ -0,0 +1,7 @@ +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. |