diff options
| author | ftrvxmtrx <devnull@localhost> | 2014-04-03 23:58:25 +0200 |
|---|---|---|
| committer | ftrvxmtrx <devnull@localhost> | 2014-04-03 23:58:25 +0200 |
| commit | c3f2448a56a73378238e1d5b29f00a3d04f9afdc (patch) | |
| tree | 7c9e93f01f161b891754691d64906b1b010a76ba /sys/man/1/spin | |
| parent | 8515f4ecb7063a23d01a7bdc8083e8caceb4f67a (diff) | |
spin(1): fix typo
Diffstat (limited to 'sys/man/1/spin')
| -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 , |