Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!decvax!harpo!floyd!whuxlb!pyuxll!eisx!npoiv!npois!hogpc!houxm!ihnp4!ixn5c!inuxc!pur-ee!uiucdcs!parsec!kolstad
From: kolstad@parsec.UUCP
Newsgroups: net.wanted
Subject: UNIX verification suite - (nf)
Message-ID: <2668@uiucdcs.UUCP>
Date: Mon, 29-Aug-83 22:53:05 EDT
Article-I.D.: uiucdcs.2668
Posted: Mon Aug 29 22:53:05 1983
Date-Received: Wed, 31-Aug-83 22:25:31 EDT
Lines: 12

#N:parsec:44700011:000:342
parsec!kolstad    Aug 29 14:06:00 1983

We're looking for a set of programs that would allow us to verify
that our implementation of UNIX meets some level of "correctness".

Anyone know whether the /usr/group people have a set of programs like
that?  Any other place we might find a "UNIX verification suite"?

Thanks!  I'll summarize the replies if I get enough of them.

					Rob