diff options
| author | Chris Piazza <cpiazza@FreeBSD.org> | 1999-06-25 03:51:43 +0000 |
|---|---|---|
| committer | Chris Piazza <cpiazza@FreeBSD.org> | 1999-06-25 03:51:43 +0000 |
| commit | df0bac14de9e862dd52a99592e838c0eb22d25c0 (patch) | |
| tree | 09f71b432e84f6decfc23a27e35887158d9e9042 /devel/spin/pkg-descr | |
| parent | 7f1d21d66fcbb59699bdb92c3b355ec5d467e768 (diff) | |
| download | ports-df0bac14de9e862dd52a99592e838c0eb22d25c0.tar.gz ports-df0bac14de9e862dd52a99592e838c0eb22d25c0.zip | |
Notes
Diffstat (limited to 'devel/spin/pkg-descr')
| -rw-r--r-- | devel/spin/pkg-descr | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devel/spin/pkg-descr b/devel/spin/pkg-descr index 5cd5f839e550..44738f1a2ec5 100644 --- a/devel/spin/pkg-descr +++ b/devel/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). |