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