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