xfnw/plan9fox
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

spin(1): fix typo

Browse source
This commit is contained in:
ftrvxmtrx 2014-04-03 23:58:25 +02:00
parent 8515f4ecb7
commit c3f2448a56
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
sys/man/1/spin
View file

@ -91,7 +91,7 @@ spin - verification tool for models of concurrent systems
.I Spin .I Spin
is a tool for analyzing the logical consistency of is a tool for analyzing the logical consistency of
asynchronous systems, specifically distributed software asynchronous systems, specifically distributed software
amd communication protocols. and communication protocols.
A verification model of the system is first specified A verification model of the system is first specified
in a guarded command language called in a guarded command language called
.IR Promela . .IR Promela .
@ -102,7 +102,7 @@ nondeterministic case selection, loops, gotos, local and
global variables. global variables.
It also allows for a concise specification of logical It also allows for a concise specification of logical
correctness requirements, including, but not restricted correctness requirements, including, but not restricted
to requirements expressed in linear temporal logic. to, requirements expressed in linear temporal logic.
.PP .PP
Given a Promela model stored in Given a Promela model stored in
.IR file , .IR file ,