diff options
| -rw-r--r-- | sys/man/1/spin | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/man/1/spin b/sys/man/1/spin index fd30b024b..8b751b02c 100644 --- a/sys/man/1/spin +++ b/sys/man/1/spin @@ -91,7 +91,7 @@ spin - verification tool for models of concurrent systems .I Spin is a tool for analyzing the logical consistency of asynchronous systems, specifically distributed software -amd communication protocols. +and communication protocols. A verification model of the system is first specified in a guarded command language called .IR Promela . @@ -102,7 +102,7 @@ nondeterministic case selection, loops, gotos, local and global variables. It also allows for a concise specification of logical correctness requirements, including, but not restricted -to requirements expressed in linear temporal logic. +to, requirements expressed in linear temporal logic. .PP Given a Promela model stored in .IR file , |