ref: c3f2448a56a73378238e1d5b29f00a3d04f9afdc
parent: 8515f4ecb7063a23d01a7bdc8083e8caceb4f67a
author: ftrvxmtrx <devnull@localhost>
date: Thu Apr 3 19:58:25 EDT 2014
spin(1): fix typo
--- a/sys/man/1/spin
+++ b/sys/man/1/spin
@@ -91,7 +91,7 @@
.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 @@
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 ,