diff options
Diffstat (limited to 'devel/spin/pkg-descr')
| -rw-r--r-- | devel/spin/pkg-descr | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/devel/spin/pkg-descr b/devel/spin/pkg-descr deleted file mode 100644 index 44738f1a2ec5..000000000000 --- a/devel/spin/pkg-descr +++ /dev/null @@ -1,9 +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. -Spin uses a high level language to specify systems descriptions, -called PROMELA (PROcess MEta LAnguage). |